PriorJ Coverage Model API