VerbaAlpina instances for the concept KUHEUTER