Add Clause.unflatten