Fixed duplicate restrictions.
Fixed printing of vars to file, and extra spaces in some cases.
Fixed issue building vars with the same name and same restrictions.
Now possible to generate trees of terms with shared arbs.