Added some predicates for transformation rules. Some debugging.