Aigs-length
Get the length of the aigtrans array.
In the execution this just gets the array length. The
logical definition is just a wrapper for len:
Function: aigs$a-length
(defun aigs$a-length (aigtrans$a)
(declare (xargs :guard (aigtrans$ap aigtrans$a)))
(len aigtrans$a))
