[Ada] Don't build equivalent record aggregate if type has predicates