Fixed coverage on generated case methods