Fix stack overflow on tribool::op boost