semantic: Deep check arrays in the same fashion as pointers.