swtiched stage 2 and 3 for learning, display original DNF env trans instead of CNF