if <spot>a != b</spot>:
    return a