This should not typecheck, but it typechecks

Chưa có ai nhận issue này.

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

Sử dụng đoạn mã Java trong issue làm trường hợp tái hiện và chạy trình kiểm tra kiểu của LiquidJava trên đó. Truy vết lý do hai lệnh gọi f() được chấp nhận mặc dù có tinh chỉnh trạng thái như đã nêu, sau đó xác minh rằng trình kiểm tra từ chối ví dụ này nhưng vẫn giữ nguyên hành vi tinh chỉnh dự kiến.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.