461                              const char *NL, unsigned int Space,  in printJson()  argument
463   Indent(Out, Space, IsDot) << "\"program_state\": {" << NL;  in printJson()
464   ++Space;  in printJson()
469   Mgr.getStoreManager().printJson(Out, getStore(), NL, Space, IsDot);  in printJson()
472   Env.printJson(Out, Mgr.getContext(), LCtx, NL, Space, IsDot);  in printJson()
475   Mgr.getConstraintManager().printJson(Out, this, NL, Space, IsDot);  in printJson()
478   printDynamicTypeInfoJson(Out, this, NL, Space, IsDot);  in printJson()
481   Mgr.getOwningEngine().printJson(Out, this, LCtx, NL, Space, IsDot);  in printJson()
483   --Space;  in printJson()
484   Indent(Out, Space, IsDot) << '}';  in printJson()
488                             unsigned int Space) const {  in printDOT()
489   printJson(Out, LCtx, /*NL=*/"\\l", Space, /*IsDot=*/true);  in printDOT()