sandbox:safe_directive(+Directive) is semidet[multifile]

Allow rtchecks directives that affect locally defined predicates.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 rtcheck(Arg1)

 unrtcheck(Arg1)

 rtcheck_wrap(Arg1, Arg2)

 with_rtchecks(Arg1)

 before(Arg1)

 after(Arg1)

 init_expansors