ADDED: library(sandbox): allow using :- op/3 in directives, provided the
declaration is not qualified.