update select-wth-prebounds to return vector of accumulated var bindings & results