fix(benchmarks): repair Lean guard verifier negation parsing

fix(benchmarks): repair Lean guard verifier negation parsing #3977