Include reflection of the current goal in proofscript arguments