Update test case
Added collectLetBinders
Add case for empty push vector
Size propagation for RunMutableArray
Merge branch 'master' into arrays