{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0072,
  "steps": 28 }