let f(x) {
    x = 1
} in if (( x = f(1)) == 1) then 1 else 0