let help = "Simplify constant terms and predicates."