remove redefines and debug output from caseYrs()
remove map phi where it is not needed
remove comment on contact equivalence
change caseA1() to return nf
change optional parameter for realclassify()
remove parameter int d (determinacy) from caseDk()
fix transformation in caseD4()
do not distinguish between A[1]+ and A[1]-