FinalStep 
    Final step which creates an AssertionGroup whose AssertionGroup.holds is a logic AND operation composed by preTransformationHolds and its AssertionGroup.assertions.
Properties
Link copied to clipboard
                  The previously defined AssertionGroup.assertions
Link copied to clipboard
                  The previously defined AssertionGroup.description.
Link copied to clipboard
                  The previously defined AssertionGroup.type.
Link copied to clipboard
                  The previously defined state of the pre-transformation (if it holds or not).
Link copied to clipboard
                  The previously defined AssertionGroup.representation.