Disallow variable access in expr of pointer type without dereferencing it first