- Added tPush and tExists SAs
- Added Debug Trace output to unimplmented functions