// remove operations postcondition and following state invariant
oTransitionInstance.getUsedPostConditions().clear();
}
if(nextEventCallIsDefaultOrNullAndTheGuardIsSatisfied(in_oTestCase, n, true))
{
oTransitionInstance.useNextStateInvariant(false);
}
}
}
private void addConditionsAfterLastDefaultCall(TestCase in_oTestCase)