Improve NotExp semantic