Module("util/config/stats",[Imports([Import("util/config/common")]),Strategies([SDefNoArgs("set-statistics",BA(CallNoArgs(SVar("set-config")),NoAnnoList(Tuple([NoAnnoList(Str("\"--statistics\"")),RootApp(Id)])))),SDefNoArgs("get-statistics",LChoice(BA(CallNoArgs(SVar("get-config")),NoAnnoList(Str("\"--statistics\""))),Build(NoAnnoList(Int("0"))))),SDefNoArgs("pass-statistics",Build(NoAnnoList(List([NoAnnoList(Str("\"--statistics\"")),App(Seq(CallNoArgs(SVar("subt")),CallNoArgs(SVar("int-to-string"))),NoAnnoList(Tuple([App(LChoice(CallNoArgs(SVar("get-config")),Build(NoAnnoList(Int("1")))),NoAnnoList(Str("\"--statistics\""))),NoAnnoList(Int("1"))])))]))))]),Strategies([SDefT("if-statistics",[DefaultVarDec("s")],[DefaultVarDec("t")],IfThen(BA(CallNoArgs(SVar("geq")),NoAnnoList(Tuple([App(CallNoArgs(SVar("get-statistics")),NoAnnoList(Tuple([]))),Var("t")]))),CallNoArgs(SVar("s")))),SDef("if-statistics1",[DefaultVarDec("s")],CallT(SVar("if-statistics"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("1"))])),SDef("if-statistics2",[DefaultVarDec("s")],CallT(SVar("if-statistics"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("2"))])),SDef("if-statistics3",[DefaultVarDec("s")],CallT(SVar("if-statistics"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("3"))])),SDef("if-statistics4",[DefaultVarDec("s")],CallT(SVar("if-statistics"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("4"))])),SDef("if-statistics5",[DefaultVarDec("s")],CallT(SVar("if-statistics"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("5"))])),SDef("if-statistics6",[DefaultVarDec("s")],CallT(SVar("if-statistics"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("6"))])),SDef("if-statistics7",[DefaultVarDec("s")],CallT(SVar("if-statistics"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("7"))]))]),Strategies([SDefT("if-less-statistics",[DefaultVarDec("s")],[DefaultVarDec("t")],IfThen(BA(CallNoArgs(SVar("leq")),NoAnnoList(Tuple([App(CallNoArgs(SVar("get-statistics")),NoAnnoList(Tuple([]))),Var("t")]))),CallNoArgs(SVar("s")))),SDef("if-less-statistics1",[DefaultVarDec("s")],CallT(SVar("if-statistics"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("1"))])),SDef("if-less-statistics2",[DefaultVarDec("s")],CallT(SVar("if-statistics"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("2"))])),SDef("if-less-statistics3",[DefaultVarDec("s")],CallT(SVar("if-statistics"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("3"))])),SDef("if-less-statistics4",[DefaultVarDec("s")],CallT(SVar("if-statistics"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("4"))])),SDef("if-less-statistics5",[DefaultVarDec("s")],CallT(SVar("if-statistics"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("5"))])),SDef("if-less-statistics6",[DefaultVarDec("s")],CallT(SVar("if-statistics"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("6"))])),SDef("if-less-statistics7",[DefaultVarDec("s")],CallT(SVar("if-statistics"),[CallNoArgs(SVar("s"))],[NoAnnoList(Int("7"))]))])])
