proofgeneral_4_3_pre: Add expression needed for current prooftree