sql.py: simplify_expr(): Combined replacements of bool_re+' OR ' with the value in either order into one replacement