Proper+ compiler also generates RegressOneStep() method.

This method can be used to get the corresponding RHS definition for a
given literal. The RHS is from a box definition from the BAT, i.e.,
either the RHS of an SSA, SF, or POSS definition.