No matches were found for subject:"\[Ada\] Check SPARK restriction on recursive call"