(aig-ite a b c) constructs an AIG representing (if a b c).
This is logically just aig-ite-fn, but we try to lazily avoid computing b or c when the value of a is known.
