@Test
public void removeClass() {

    Model model = assertParse("module M;"
        + "class C(Rat myParam) { Int myField = 99; Int myMethod(String a, Bool b) { return 88; } }"
        + "delta D;"
        + "uses M;"
        + "removes class C;"
        + "productline PL;"
        + "features F;"
        + "delta D when F;"
        + "root FM { group allof { opt F } }");
    SemanticConditionList errors = new SemanticConditionList();
    ProductLine pl = model.getProductLine();
    DeltaTrie trie = ProductLineAnalysisHelper.buildPFGT(pl, errors);
    ProgramAbstraction pa = trie.getRoot().getChildren().get("D").getProgramAbstraction();
    System.out.println("******\n" + pa);
    assertFalse(pa.getClasses().containsKey("M.C"));
}