BUGFIX: corrected generation of operational rules: creation of edges in
NACs that have a marker of type t=?