Found major bug. Added testcase and started converting to return multiple proofs