VerbaAlpina instances for the concept HABEN