Capability extraction from Time Travel Debugging Traces - View it on GitHub