let murphi_uopts = !murphi_uopts