public override void PostWalkModalEdge(ModalEdgeSyntax modalEdgeSyntax) { MethodsCalled["PostWalkModalEdge"]=true; }
// ModalEdgeSyntax public override bool WalkModalEdge(ModalEdgeSyntax modalEdgeSyntax) { MethodsCalled["WalkModalEdge"]=true; return true; }