// Two semantically equivalent abs implementations. Same signature, different
// AST shape (if/else vs ternary). Should fire the Type-4 detector.

int abs_a(int x) {
    if (x < 0) return -x;
    return x;
}

int abs_b(int y) {
    return y < 0 ? -y : y;
}