Option variable
backsubstDefault value: true
When backsubst is false, prevents back
substitution after the equations have been triangularized. This may
be helpful in very big problems where back substitution would cause
the generation of extremely large expressions.