private void InferFlags(B.SystemPlan plan) { foreach (A.HandlerDecl h in Handlers) { foreach (var flag in h.RHS.GetFlags()) { plan.AddBoolFlag(flag); } foreach (var a in h.Context) { foreach (var flag in a.RHS.GetFlags()) { plan.AddBoolFlag(flag); } } } plan.NormaliseFlags(); Console.WriteLine($"[A2B] Inferred flags: Boolean {plan.AllBoolFlags()}; counter {plan.AllIntFlags()}"); }