let pp_member_def depth = function
| VarMem(vmem) -> Printf.sprintf "\n%sVarMem(%s)" (indent depth) (pp_var_def (depth+1) vmem)
| MethodMem(mmem) -> Printf.sprintf "\n%sMethodMem(%s)" (indent depth) (pp_func_def (depth+1) mmem)
| InitMem(imem) -> (*let fmt = "@[<v " ^^ (string_of_int depth) ^^ ">@,InitMem(%s)@]" in*)
Format.sprintf "\n%sInitMem(%s)@]"
(indent depth) (pp_func_def (depth+1) imem)