Fix a bug where the `lgtunit` tool code coverage would report statistics on compiler-generated auxiliary predicates