pre

Parameters

pre

a list of preconditions. These are additional to the input