Option variable
dotconstrulesDefault value: true
When dotconstrules is true, a non-commutative product of a
constant and another term is simplified to a commutative product.
Turning on this flag effectively turns on dot0simp, dot0nscsimp, and
dot1simp as well.