Bugs in split and FMT_SPLIT_UNIFIES_CASE fixed