rule Rule() {
    assert x > y;
}