liveness: split at fixed use before call