[MOD] Make variable names unique by appending the variable ID in `Expr#toString()`.
Merge pull request #806 from LeoWoerteler/var-id

Unique Variable Names in Expr#toString()