nontrivial consistency checking extended: positive (there exists
instances that satisfy the relation) and negative nontrivial (there
exist instances that do not satisfy the relation) consistency