Can safe_goal/1 be made safe?

[torbjornlager]

Would it be possible (and make sense) to make safe_goal/1 safe? As it now works:

?- safe_goal(safe_goal(true)).
ERROR: procedure `'$syspreds':'$current_module'(A,B)' does not exist
ERROR: Reachable from:
ERROR:    '$syspreds':current_module(A)
ERROR:    '$syspreds':property_predicate(A,sandbox:B:C)
ERROR:    sandbox:predicate_property(A:B,C)
ERROR:    sandbox:safe(A,B,C,D,E)
ERROR:    user:safe_goal(A)
?-