detect dereferencing alias in condition