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

Warning: BMC: Condition is always false.
 --> model_checker_solvers_cvc5_eld/input.sol:6:7:
  |
6 | 		if (y == 0)
  | 		    ^^^^^^
Note: Callstack:
