RemexDriver: improved tracing