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