Added SherlockTracer.push/pop methods.