replace ||, &&, ! by or, and, not, resp. in _eval_formula