eliminate warning
return transformed CO4 program on NoSatchmo
dump transformed CO4 program on NoSatchmo and Dump
check validity of discriminants over single-constructor ADTs