"-all" option added to nontrivial consistency check: checks all defined
predicates simultanously; other bugs fixed in check_nontrivial
consistency