preTransformationHolds

The previously defined state of the pre-transformation (if it holds or not).