Using the Semantics Stepper