The report’s first line: “proved”, or “NOT proved:” and what is
Report.verdict: str
missing, counted (“1 of 2 postconditions not proved, 1 possible runtime error”).