This should not typecheck, but it typechecks

Dieses Issue hat noch niemand übernommen.

```
@Ghost("int some_other_ghost")
public class Test2 {
int n = 0;

@StateRefinement(from="some_other_ghost(this) > 0", to="some_other_ghost(this) < 0")
private void f(){}

private void shouldFail(){
f();
f();
}

public static void main(String[] args) {
Test2 t = new Test2();
t.shouldFail();
}
}
```

Verwende das Java-Snippet im Issue als Reproduktionsfall und führe LiquidJavas Typprüfer damit aus. Verfolge, warum die beiden Aufrufe von f() trotz der angegebenen Zustandsverfeinerung akzeptiert werden, und überprüfe anschließend, dass der Prüfer dieses Beispiel ablehnt und dabei das beabsichtigte Verfeinerungsverhalten beibehält.

Vom Indexierungsmodell aus dem Issue-Text verfasst.