Added array notification for anonymous terms.

When creating a CCTerm for a termITE, the array theory was not notified.