For each unproved postcondition with one, the preconditions per
Report.suggestions: dict[str, dict[str, list[str]]]
input table under which it would be proved, as code ({"(_.y <= 100)": {"orders": ["(_.x <= 50)"]}}).
{"(_.y <= 100)": {"orders": ["(_.x <= 50)"]}}