Another modeling question, is there a tool to get "coverage" for my list of assertions? Like answer the question of whether I've asserted enough to leverage all the relations in my model?