Fix memleak when using orderings from external library
- Leak occurred when calling "runSymbolicAnalysis(obj)" many times.