typo on method name
handles suppression of unsafe arcs and transitions
better name for property
improved usage documentation