By: ValentinHirschi <valentin.hirschi@gmail.com>
Preserve affine exclusions in rule proofs and prune cover contradictions