Step Count
Terminates the simulation after a given number of steps. If the simulation is uninitialized (thus, the environment returns null when asked for the simulation), this predicate always returns false.
Parameters
last Step
the last step.