liveness: improve splitting at fixed uses