Skip contradictory accessory types on empty arrays and use inner traverser in optimizeConstantArrays value generalization

Skip contradictory accessory types on empty arrays and use inner traverser in optimizeConstantArrays value generalization #639