Range Analysis Partial Commit