public static List searchInstances(String modulename, Cons matchlist, String casesensitiveP) {
    { Module module = edu.isi.powerloom.PLI.getModule(modulename, null);
      Iterator allinstances = Logic.allInstances(module, true);
      List nonskoleminstances = List.newList();

      { LogicObject instance = null;
        Iterator iter000 = allinstances;
        Cons collect000 = null;

        while (iter000.nextP()) {
          instance = ((LogicObject)(iter000.value));
          if (!Logic.skolemP(instance)) {
            if (collect000 == null) {
              {
                collect000 = Cons.cons(instance, Stella.NIL);
                if (nonskoleminstances.theConsList == Stella.NIL) {
                  nonskoleminstances.theConsList = collect000;
                }
                else {
                  Cons.addConsToEndOfConsList(nonskoleminstances.theConsList, collect000);
                }
              }
            }
            else {
              {
                collect000.rest = Cons.cons(instance, Stella.NIL);
                collect000 = collect000.rest;
              }
            }
          }
        }
      }
      return (GuiServer.searchLogicObjects(modulename, nonskoleminstances, matchlist, casesensitiveP));
    }
  }