Error: Loop variable name has the same lower name as a feature of the
  enclosing class, or a formal argument or local variable of an enclosing
  feature or Inline_agent, or Object-Test Local with the scope where
  this loop appears, or, if it appears in any other loop with an Iteration
  part, its Identifier.
What to do: choose a different name for the identifier in the Iteration part.
