Module("lang/with",[Imports([Import("util/log"),Import("strategy/conditional")]),Strategies([SDefT("with",[DefaultVarDec("s")],[DefaultVarDec("message")],Where(LChoice(CallNoArgs(SVar("s")),CallT(SVar("report-with-failure"),[],[Var("message"),RootApp(PrimNoArgs("\"SSL_stacktrace_get_all_frame_names\""))])))),SDefT("report-with-failure",[],[DefaultVarDec("message")],Seq(Match(Var("term")),Seq(PrimNoArgs("\"SSL_stacktrace_get_all_frame_names\""),Call(SVar("report-failure"),[Seq(CallT(SVar("log"),[],[NoAnnoList(Op("Critical",[])),Var("message"),Var("term")]),CallNoArgs(SVar("exit")))])))),SDefT("report-with-failure",[],[DefaultVarDec("message"),DefaultVarDec("trace")],Seq(Match(Var("term")),Seq(Build(Var("trace")),Call(SVar("report-failure"),[Seq(CallT(SVar("log"),[],[NoAnnoList(Op("Critical",[])),Var("message"),Var("term")]),CallNoArgs(SVar("exit")))]))))])])
