[Ada] Adjust description of Pure_Function pragma