Fixing symbolic backend in unified-builtins2.
Merge pull request #814 from andreiarusoaie/unified-builtins2

Fixing symbolic backend in unified-builtins2.