Adding hasInheritanceMap predicate to ASaPTypes