bugfix: debugging info for subsumption was wrong