Utilities for Henshin state spaces.