Changed Substate Invariant rule to make use of the enabled method