Flexibilizar VerifyHierarchy

Fixes #727