Changed precedence
Refactored StringRepresentationGenerator
Disallow to skip whitespaces; Added combined unary ltl operators