improve ++ and -- semantic checks