767 int cond2;  variable
771   cond2 = getInt();  in bar()
780   assert(cond1 && cond2);  in f()
807 int cond2;  variable
811   cond2 = getInt();  in bar()
820   assert(cond1 || cond2);  in f()
887 int cond2;  variable
891   cond2 = getInt();  in bar()
900   assert(cond1 && cond2);  in f()
931 int cond2;  variable
935   cond2 = getInt();  in bar()
944   assert(cond1 || cond2);  in f()