coverage/unreachable/contradiction/main.rs, 5, FULL
coverage/unreachable/contradiction/main.rs, 6, FULL
coverage/unreachable/contradiction/main.rs, 7, PARTIAL
coverage/unreachable/contradiction/main.rs, 8, NONE
coverage/unreachable/contradiction/main.rs, 11, FULL
coverage/unreachable/contradiction/main.rs, 13, FULL