This should not typecheck, but it typechecks

Nessuno ha ancora preso questa issue.

```
@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();
}
}
```

Usa lo snippet Java nell’issue come caso di riproduzione ed esegui il type checker di LiquidJava su di esso. Traccia il motivo per cui le due chiamate a f() vengono accettate nonostante il raffinamento dello stato dichiarato, quindi verifica che il checker rifiuti questo esempio preservando al contempo il comportamento di raffinamento previsto.

Scritto dal modello di indicizzazione a partire dal testo della issue.