disjunction_commit_and_fallthrough(ok).