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(...)!