let
help =
"when on (by default), simplify assertions involving constants"