max = items const + res ->                       max = items flag const + res ->
  for items item ->                                for items item ->
    if !res ->                                       if !res ->
      res = item                                       res = item
    else                                             else
      if (item > res const) ->                         if (item > res flag const) ->
        res = item                                       res = item
      else                                             else
        <>                                               <>
      ;                                                ;
    ;                                                ;
  ;                                                ;
_                                                _
  items : A|L                                      items : A|L
  const : float | const                            flag, const : float | const
_                                                _
  items                                            items
;                                                ;



