Invalid option for --model-checker-invariants: what