fix replDecsProofsScript.sml for new lem

might have got broken in the merge