wip/prover9/patches
