semantic: disallow assigning null to AA, add aa = []