This should not typecheck, but it typechecks

Ninguém assumiu esta issue ainda.

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

Use o snippet de Java na issue como caso de reprodução e execute o verificador de tipos do LiquidJava nele. Rastreie por que as duas chamadas a f() são aceitas apesar do refinamento de estado declarado e, em seguida, verifique se o verificador rejeita este exemplo, preservando o comportamento de refinamento pretendido.

Escrita pelo modelo de indexação a partir do texto da issue.