Fail immediatelly if the compiler does not compile.
Do not add neighbor/tap/vacant/neighborcount axioms if such predicates do not exist.