Use Cloverage for coverage; convert all outer facts to deftest to support Cloverage