public static Proposition buildExistsProposition(Cons tree) {
    { Cons variables = null;
      Proposition proposition = null;
      Proposition unused = null;

      { Object [] caller_MV_returnarray = new Object[2];

        variables = Logic.buildQuantifiedProposition(tree, true, caller_MV_returnarray);
        proposition = ((Proposition)(caller_MV_returnarray[0]));
        unused = ((Proposition)(caller_MV_returnarray[1]));
      }
      unused = unused;
      { Proposition existsprop = Logic.createProposition(Logic.SYM_STELLA_EXISTS, 1);

        existsprop.kind = Logic.KWD_EXISTS;
        (existsprop.arguments.theArray)[0] = proposition;
        KeyValueList.setDynamicSlotValue(existsprop.dynamicSlots, Logic.SYM_LOGIC_IO_VARIABLES, Logic.copyConsListToVariablesVector(variables), null);
        return (existsprop);
      }
    }
  }