Added comments to BooleanFormula to explain the expression simplifier. (#7633)