Improved CraigInterpolation by avoiding multiple setMinus computation