fixed a lot of bugs. however a new one emerged in Visit_aNegatedDisjunction_applyDeMorganLaws that crash nunit (probably a stack overflow)