Warning: Function state mutability can be restricted to pure
 --> model_checker_show_proved_safe_default_chc/input.sol:4:5:
  |
4 |     function f(uint8 x) public {
  |     ^ (Relevant source part starts here and spans across multiple lines).

Info: CHC: 2 verification condition(s) proved safe! Enable the model checker option "show proved safe" to see all of them.
