Fix SymbolicEngine deepCopy bug.
Fix the type-casting exception thrown when executing with -param.