Fixing symbolic backend in unified-builtins2.