import test.p1.A; import test.p1.E; import test.stateful.*; static connector StatefulControlFlowConnector { StatefulControlFlow.TestHook hook0 = new StatefulControlFlow.TestHook(* A.m1(*), * E.m2(*), * A.m3(*)); }