FIXED: library(sandbox) handling of findall/4.
MODIFIED: predicate_property(++P, visible) now also succeeds for `hidden'
$-predicates.  Hidden predicates are skipped when generating visible
predicates.
ADDED: library(sandbox) declaration for findnsols/4,5.