Boolean enabled = ProducedTypeCache.setEnabled(false);
try {
if (!refinementValidated) {
ProducedType.depth.set(0);
//System.out.println("Validate member refinement for " + fileName);
compilationUnit.visit(new AliasVisitor());
compilationUnit.visit(new SupertypeVisitor(true)); //TODO: move to a new phase!
compilationUnit.visit(new InheritanceVisitor());
compilationUnit.visit(new RefinementVisitor());
refinementValidated = true;
}