Fixed example_19_*, improved printing of parenthesis if required.
Merge branch 'master' of https://github.com/edisonm/refactor
Refactorized code: Moved trivial unifications to the head.
Fixed gcb test