Faster, raw Lisp implementation of aig-vars.
Logically this is just aig-vars.
Function: aig-vars-1pass
(defun aig-vars-1pass (x) (declare (xargs :guard t)) (aig-vars x))
