It is an error to attempt to provide a binding for an input port on the declaration of an atomic step.