Our trace seperation tool, originally introduced on POPL15.