Add branches if necessary when turning reduces into closed form.