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