modify test list
support vector for capacity
1) prepare for iterative refinement 2) clone more faithfully
iterative refinement works for synthesizing partitioner when there is no for loop
(current-solution (empty-solution)) makes iterative refinement work with loop
iterative refinement works with heuristic partitioner
faster convergence
fix some bugs
bug in visitor-tempinsert
correct version of md5
fix infinite loop in optimize-loop
md1 better version
todo
merge TODO
todo
bug in visitor-flow
debug mismatch memory
more debug
todo
optimize entire small function