void binary_expr()      { bool x; if (true && (false || x)) return; }