use pretty printer to convert expressions to strings

Now that it is possible to have regular expression constraints on expressions, we need to be able to convert all kinds of expressions to strings.

Reported by: Absoler in github issue #296