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 內容生成。