[Ada] Missing predicate function body for derived type in nested package