l'option numsmv_counter_example a disparu de check_ctl
Par exemple dans C2-19/TD4
check_ctl(query:reachable(stable(not X1)), nusmv_counter_example:yes).
ERROR: Unknown error term: option_not_applicable(nusmv_counter_example)
idem pour l'option numsv_initial_states qui a aussi disparu