public static Stella_Object lookupLogicVariableBinding(Symbol variablename) {
    if (((Cons)(Logic.$LOGICVARIABLETABLE$.get())) != null) {
      { Skolem vbl = null;
        Cons iter000 = ((Cons)(Logic.$LOGICVARIABLETABLE$.get()));

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          vbl = ((Skolem)(iter000.value));
          if (vbl.skolemName == variablename) {
            return (vbl);
          }
        }
      }
    }
    return (null);
  }