## Report.suggestions


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)"]}}`).