Remove debug output
Use unique symbols for each new symbolic input.