Use a smaller image for logic coverage subsumption