Warning: CHC: Assertion violation happens here.
Counterexample:

x = 0

Transaction trace:
B.constructor()
B.f(0)
 --> model_checker_contracts_all/input.sol:5:9:
  |
5 |         assert(x > 0);
  |         ^^^^^^^^^^^^^

Warning: CHC: Assertion violation happens here.
Counterexample:

y = 0

Transaction trace:
A.constructor()
A.g(0)
  --> model_checker_contracts_all/input.sol:10:9:
   |
10 |         assert(y > 0);
   |         ^^^^^^^^^^^^^
