Tried to address the possible memory leaks in the Z3 interface.
started adding in the linmap red black tree from ats1.