Tag: proof test coverage definition