@Override
public Object visit(Program program) {
for (DeclClass icClass : program.getClasses())
if (!icClass.getName().equals("Library")) icClass.accept(this);
return (null);
}
@Override
public void runCheck(Program program) {
program.accept(this);
}