Add subsumption checking for examples.