public static Cons parseLogicVariableDeclarations(Stella_Object tree) {
    { Cons constree = (Stella_Object.isaP(tree, Logic.SGT_STELLA_CONS) ? ((Cons)(tree)) : Cons.consList(Cons.cons(tree, Stella.NIL)));
      List declarations = List.newList();

      { Stella_Object term = null;
        Cons iter000 = constree;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          term = iter000.value;
          Logic.parseOneVariableDeclaration(term, declarations);
        }
      }
      return (declarations.theConsList);
    }
  }