/doc/data/messages/s/simplify-boolean-expression/