TODO: Add p_check_array_bounds to ArrayElem. Done for valid cases.