Fix to make NatArray idempotent
Add a big array of ivars test