Introduce bind_if interpreter.