[Specs] Refine support for coverage analysis