Update split_if semantics