@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);
 }