Minor change in rtchecks_tr.pl to avoid module qualification of predicate nortchecked/1
Exported native_props:test_throw_2/4 to avoid module qualification