code = [](Session& session) {
return MC_modelcheck_comm_determinism(); };
else if (!_sg_mc_property_file || _sg_mc_property_file[0] == '\0')
code = [](Session& session) {
return MC_modelcheck_comm_determinism(); };
else if (!_sg_mc_property_file || _sg_mc_property_file[0] == '\0')