Wrong warning "This qualifier is redundant"

**Repro steps**

```
type A = {m: int list}

let f x = []

let g a =
let m = f a.m
a.m.Length
```

For the `a` in the last line of the above code, FSAC shows a warning "This qualifier is redundant".

**Expected behavior**

No warning, the qualifier is necessary.