update shape propagate through array assign stmt
currently, there is a problem, if there is no array preallocation
statement, like ones, zeros or rand... the array assign stmt is
considered as array definition in matlab, i.e., a(2,2,:)=[1 2 3 4 5]
will define a as the shape of [2,2,5], while at line of 336 in the
file of IntraproceduralValueAnalysis.java, for this case, the
initial shape of a is defined as [1,5]. In the file, there is a
comment of "for now just use the value... FIXME", so I think who
wrote this file had already foreseen this potential problem. I
will try to fix this and report to the static teem later.