perf(library/unifier): process delta expansion case split lazily