Update symbolic_expression.cc

The location of whitespace is important, it should be set appropriately to meet the format used in the function Z3Solver::ParseStatement(...)!
Merge pull request #2 from dqx/patch-1

Update symbolic_expression.cc