+ implemented parameterized methods for RunFormalizedSteps()