Reorganized knowledge base assertions to avoid static generation of kbhidden/2, kbmask/3, kbrule/2, rulef/4, helpf/4, nocheck_db/2 and nocheck_db/3.
Typo