The "Allow Local Jumps" menu item sets a flag in
the OnAssertLocalJump method, which is called to 
avoid processing some local jump links. If the
flag is true, the OnAssertLocalJump method
returns its Handled parameter as false; if the
flag is false, Handled is set to true and no
further processing of the local jump action
takes place.

(Note: Assert methods normally are used to abort
all further processing of an action, while the
Handle Methods modify the processing. These
two methods can each be overridden in code by
direct assignment for Assert types and virtual
overriding for Handle types.)


