Add case for empty push vector
Size propagation for RunMutableArray