Warning: Inline assembly may cause SMTChecker to produce spurious warnings (false positives).
 --> input.sol:5:9:
  |
5 |         assembly {}
  |         ^^^^^^^^^^^

Warning: The BMC engine of the SMTChecker is deprecated and will be removed in a future release. Please use the CHC engine instead.
