This should not typecheck, but it typechecks

Nadie ha tomado este issue todavía.

```
@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 el fragmento de Java del issue como caso de reproducción y ejecuta el comprobador de tipos de LiquidJava con él. Rastrea por qué se aceptan las dos llamadas a f() a pesar del refinamiento de estado indicado y, a continuación, verifica que el comprobador rechaza este ejemplo sin dejar de preservar el comportamiento de refinamiento previsto.

Escrito por el modelo de indexación a partir del texto del issue.