public static List helpGetVariablesFromConsPropositions(Stella_Object ele, List theList) {
    { Surrogate testValue000 = Stella_Object.safePrimaryType(ele);

      if (testValue000 == Logic.SGT_STELLA_CONS) {
        { Cons ele000 = ((Cons)(ele));

          { Stella_Object arg = null;
            Cons iter000 = ele000;

            for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
              arg = iter000.value;
              Logic.helpGetVariablesFromConsPropositions(arg, theList);
            }
          }
        }
      }
      else if (Surrogate.subtypeOfSymbolP(testValue000)) {
        { Symbol ele000 = ((Symbol)(ele));

          if ((ele000.symbolName).charAt(0) == '?') {
            theList.insertNew(ele000);
          }
        }
      }
      else {
      }
    }
    return (theList);
  }