Interfaces for trace model in Henshin.