ModificationExtractor calculator = new StrictModificationExtractor();
TransitionSet transitions = calculator.getTransitions(application, parentSpec1, parentSpec2);
RootModuleDefinition newRoot = transitions.getNewRootModuleDefinition();
ModuleDefinitionWalker.walkRootDefinition(newRoot, new ModuleDefinitionCallback(){
public boolean matches(ModuleDefinition moduleDefinition) {
assertTrue(moduleDefinition.isFrozen());
return false;
}