Implementation of the trace model in Henshin.