Transformation rules for backtracking.
@since Ptolemy II 6.1