<map id="NPL::ContextNode::ReductionGuard" name="NPL::ContextNode::ReductionGuard">
<area shape="rect" id="node1" title="规约守卫：暂存当前动作序列。" alt="" coords="5,199,200,240"/>
<area shape="rect" id="node2" title=" " alt="" coords="31,95,174,136"/>
<area shape="rect" id="node3" title=" " alt="" coords="55,5,151,32"/>
</map>
