Nontrivial consistency checking also includes primitive symbols