add a kind of hook to support vector arg in some builtins, like ones
add a kind of hook in Tamer IntraproceduralValueAnalysis, to treat
something like ones([3,3]) as ones(3,3), in MATLAB view, they are
equal in functionality. I didn't change anything on IR, since we may
need that simplification somewhere else.