Goal g1 = createGoal(gss, 1);
Principle p1 = createPrinciple(gss, 1);
Principle p2 = createPrinciple(gss, 2);
Pattern si1 = createPattern(gss, 1);
Pattern si2 = createPattern(gss, 2);
createDecomposition(gss, p2, p1);
createImpact(gss, p1, g1, 1);
createImpact(gss, si1, p2, 1);
createImpact(gss, si2, p1, 1);
executeRequiredPhases();
assertEquals("",
PreconditionFinder.formatConditionString(si1.getPrecondition()));
assertEquals("",
PreconditionFinder.formatConditionString(si2.getPrecondition()));
assertEquals("",
PreconditionFinder.formatConditionString(p1.getPrecondition()));
assertEquals("",
PreconditionFinder.formatConditionString(p2.getPrecondition()));
}