rule long_if() {
    int x;
    int y;
    int z;

    if (a > b && c < d || e >= f && true) {
        assert(false);
    } else {
        satisfy(true);
    }
}
