Changed the to string function to accomidate changes in representation
Merge branch 'master' of github.com:code-11/pldi