Buffalo Trace Abstraction