Fixed no predicates for transforming insert to push
Merge remote-tracking branch 'origin/d3-cmu' into d4-costmodel