This should not typecheck, but it typechecks

还没有人认领这个 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();
}
}
```

使用 issue 中的 Java 代码片段作为复现用例，并针对它运行 LiquidJava 的类型检查器。跟踪为什么在给定状态细化的情况下对 f() 的两次调用仍会被接受，然后验证检查器会拒绝此示例，同时保留预期的细化行为。

由索引模型根据 Issue 内容生成。