Improved HandleSystemCall->propagateDelta