lib(notinstance)

   Constraints for structural equality and subsumption

