better dependency inference from soaked operations