Improve origin of constraints in subsumption checking