public static Cons getUnboundVariables(Proposition prop) {
    { Cons result = Stella.NIL;

      { Stella_Object arg = null;
        Vector vector000 = prop.arguments;
        int index000 = 0;
        int length000 = vector000.length();

        for (;index000 < length000; index000 = index000 + 1) {
          arg = (vector000.theArray)[index000];
          { Stella_Object bind = Logic.argumentBoundTo(arg);

            if (bind == null) {
              result = Cons.cons(arg, result);
            }
          }
        }
      }
      return (result);
    }
  }