Potential prover fix for proof tree reload#45

RanimZayen wants to merge 2 commits into

masterMrGunflame/keyui:masterfrom

prover-parse-fixMrGunflame/keyui:prover-parse-fixCopy head branch name to clipboard