assertContaintsApplicableElement(si2, targetsOfDecompositions,sourcesOfDecompositions, targetsOfImpacts, sourcesOfImpacts, targetsOfOffsets, sourcesOfOffsets, targetsOfIsAs, sourcesOfIsAs );
}
public void testPruneNoFlaws(){
Goal g1 = createGoal(gss, 1);
Flaw f1 = createFlaw(gss, 1);
Flaw f2 = createFlaw(gss, 2);
Flaw f3 = createFlaw(gss, 3);