Implementations for the Henshin state space tools.