Fixed overly-permissive  check
Ensured cut nodes were handled when arcs are followed
Fixed restriction numbers on anonymous many rules
Removed extraneous cut nodes from last branch of alt_node