fixed  StepIntoSM_Test.test_stepInto2ndlyTriggeredTrans and  StepIntoSM_Test.test_stepIntoGuardCond