fix a bug in Variant specifications. new VariantVisitorBase (to test). new DNFConverter and DeMorganLaws (still to complete and test)