public static Cons deconstructForallTree(Cons foralltree, Object [] MV_returnarray) {
    { Cons antecedent = ((Cons)(foralltree.rest.rest.value));
      Stella_Object ifclause = antecedent.rest.value;

      if (ifclause == Logic.SYM_STELLA_TRUE) {
        ifclause = Stella.getQuotedTree("((AND) \"/LOGIC\")", "/LOGIC");
      }
      { Cons _return_temp = ((Cons)(foralltree.rest.value));

        MV_returnarray[0] = ifclause;
        MV_returnarray[1] = ((Cons)(antecedent.rest.rest.value));
        return (_return_temp);
      }
    }
  }