wrong result for comparison

[acherm]

 @Test
    public void testMIP3() throws Exception {

        FeatureModelVariable fmv = FM("fm1", "A: [C] B [D] U ; D: (E|F) ; ");
        FeatureModelVariable fmv2 = FM ("fm2", "A: [H] B [D] U ; D: (E|F) ; ");

        System.err.println(fmv.compare(fmv2)); 
        System.err.println(fmv.compareBDD(fmv2, _builder)); 
         
        System.err.println(fmv.compareSAT_Formula(fmv2));
        System.err.println(new SATFormulaComparator(SATFMLFormula.SAT_TIMEOUT).compare(new SATFeatureIDEFormula(fmv2), new SATFeatureIDEFormula(fmv)));


    }

REFACTORING
REFACTORING
ARBITRARY
ARBITRARY

ARBITRARY is the correct result.
Seems H and C are not negated in fm1 when domain varies (see also #22).
Strange, since it's pretty trivial