я не смотрел что там с coverage (он не видит refinements?), а тесты — можно протестить через какой–нибудь класс, где используется refinement, либо прямо в тесте сгенерировать такой класс
я, похоже, просто тогда не написал спеку на ту ветку логики, где кот из рефайнмента использовался. но там прям очень простой рефайнмент был
так что всё норм с ними