227     if (btor_aig_get_left_child (amgr, cur) == left  in find_and_aig()
232       assert (btor_aig_get_left_child (amgr, cur) != right  in find_and_aig()
335             l = btor_aig_get_left_child (amgr, cur);  in btor_aig_release()
388     if (btor_aig_get_left_child (amgr, aig) == BTOR_INVERT_AIG (a0)  in find_and_contradiction_aig()
389         || btor_aig_get_left_child (amgr, aig) == BTOR_INVERT_AIG (a1)  in find_and_contradiction_aig()
395                amgr, btor_aig_get_left_child (amgr, aig), a0, a1, calls)  in find_and_contradiction_aig()
459     if (btor_aig_get_left_child (amgr, real_left) == BTOR_INVERT_AIG (right)  in btor_aig_and()
467     if (btor_aig_get_left_child (amgr, real_right) == BTOR_INVERT_AIG (left)  in btor_aig_and()
476     if (btor_aig_get_left_child (amgr, real_left)  in btor_aig_and()
477             == BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_right))  in btor_aig_and()
478         || btor_aig_get_left_child (amgr, real_left)  in btor_aig_and()
481                == BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_right))  in btor_aig_and()
489     if (btor_aig_get_left_child (amgr, real_left) == BTOR_INVERT_AIG (right)  in btor_aig_and()
497     if (btor_aig_get_left_child (amgr, real_right) == BTOR_INVERT_AIG (left)  in btor_aig_and()
506     if (btor_aig_get_left_child (amgr, real_left)  in btor_aig_and()
507             == BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_right))  in btor_aig_and()
508         || btor_aig_get_left_child (amgr, real_left)  in btor_aig_and()
511                == BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_right))  in btor_aig_and()
520     if (btor_aig_get_left_child (amgr, real_left)  in btor_aig_and()
521             == BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_right))  in btor_aig_and()
522         || btor_aig_get_left_child (amgr, real_left)  in btor_aig_and()
525                == BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_right))  in btor_aig_and()
534     if ((btor_aig_get_left_child (amgr, real_left)  in btor_aig_and()
535              == btor_aig_get_left_child (amgr, real_right)  in btor_aig_and()
539         || (btor_aig_get_left_child (amgr, real_left)  in btor_aig_and()
543                           btor_aig_get_left_child (amgr, real_right))))  in btor_aig_and()
545           BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_left)));  in btor_aig_and()
553          && btor_aig_get_left_child (amgr, real_right)  in btor_aig_and()
554                 == BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_left)))  in btor_aig_and()
556                 == btor_aig_get_left_child (amgr, real_left)  in btor_aig_and()
557             && btor_aig_get_left_child (amgr, real_right)  in btor_aig_and()
566     if (btor_aig_get_left_child (amgr, real_left) == right  in btor_aig_and()
573     if (btor_aig_get_left_child (amgr, real_right) == left  in btor_aig_and()
581     if (btor_aig_get_left_child (amgr, real_left)  in btor_aig_and()
582             == btor_aig_get_left_child (amgr, real_right)  in btor_aig_and()
584                == btor_aig_get_left_child (amgr, real_right))  in btor_aig_and()
594     if (btor_aig_get_left_child (amgr, real_left)  in btor_aig_and()
599       right = btor_aig_get_left_child (amgr, real_right);  in btor_aig_and()
608       left = BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_left));  in btor_aig_and()
611     if (btor_aig_get_left_child (amgr, real_left) == right)  in btor_aig_and()
620     if (btor_aig_get_left_child (amgr, real_right) == left)  in btor_aig_and()
627       right = BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_right));  in btor_aig_and()
636          == btor_aig_get_left_child (amgr, real_right))  in btor_aig_and()
640       left = BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_left));  in btor_aig_and()
643     if ((btor_aig_get_left_child (amgr, real_left)  in btor_aig_and()
644          == btor_aig_get_left_child (amgr, real_right))  in btor_aig_and()
645         || (btor_aig_get_left_child (amgr, real_left)  in btor_aig_and()
656     if ((btor_aig_get_left_child (amgr, real_right)  in btor_aig_and()
658         || (btor_aig_get_left_child (amgr, real_right)  in btor_aig_and()
659             == btor_aig_get_left_child (amgr, real_left)))  in btor_aig_and()
667             == btor_aig_get_left_child (amgr, real_left)))  in btor_aig_and()
669       right = BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_right));  in btor_aig_and()
682       && btor_aig_get_left_child (amgr, real_left)  in btor_aig_and()
683              == BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_right))  in btor_aig_and()
689         btor_aig_get_left_child (amgr, real_left),  in btor_aig_and()
695           BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_left)),  in btor_aig_and()
924   l = btor_aig_get_left_child (amgr, aig);  in is_xor_aig()
938   ll = btor_aig_get_left_child (amgr, l);  in is_xor_aig()
941   rl = btor_aig_get_left_child (amgr, r);  in is_xor_aig()
972   l = btor_aig_get_left_child (amgr, aig);  in is_ite_aig()
986   ll = btor_aig_get_left_child (amgr, l);  in is_ite_aig()
989   rl = btor_aig_get_left_child (amgr, r);  in is_ite_aig()
1071   BTOR_PUSH_STACK (tree, btor_aig_get_left_child (amgr, root));  in is_or_aig()
1089       BTOR_PUSH_STACK (tree, btor_aig_get_left_child (amgr, real_cur));  in is_or_aig()
1171       BTOR_PUSH_STACK (tree, btor_aig_get_left_child (amgr, root));  in btor_aig_to_sat_tseitin()
1185           BTOR_PUSH_STACK (tree, btor_aig_get_left_child (amgr, cur));  in btor_aig_to_sat_tseitin()
1189       BTOR_PUSH_STACK (leafs, btor_aig_get_left_child (amgr, root));  in btor_aig_to_sat_tseitin()
1386       BTOR_PUSH_STACK (stack, btor_aig_get_left_child (amgr, aig));  in btor_aig_add_toplevel_to_sat()
1425         left  = BTOR_INVERT_AIG (btor_aig_get_left_child (amgr, real_aig));  in btor_aig_add_toplevel_to_sat()