return conf;
}
private void checkViolations(Configuration conf, IAcmeResource resource,
IAcmeModel model) {
IAcmeTypeChecker checker = resource.getEnvironment().getTypeChecker();
if(checker instanceof IAcmeSynchronousTypeChecker) {
IAcmeSynchronousTypeChecker tc = (IAcmeSynchronousTypeChecker)checker;
tc.typecheckAllModelsNow();
}