Added Aig::iter_ands(). Changed TRUE_LIT and FALSE_LIT to const, so that they can be used in pattern matching.