Error: the argument ('input.sol') for option '--model-checker-bmc-loop-iterations' is invalid
