Update bool_calc.cc