let mc_engine_opt             = ref Cegar