Fixed FOR-loop cast issues in Ada