Add logic coverage criteria subsumption.