bugs/66.cfa:11:1 error: Cannot choose between 2 alternatives for expression
Applying untyped:
  Name: ?!=?
...to:
  Name: next
  constant expression (0 0: zero_t)
 Alternatives are:
Cost ( 0, 2, 17, 0, 1, -2, 0 ): Application of
      Variable Expression: ?!=?: forall
        FT: function type
        function
      ... with parameters
        intrinsic pointer to instance of type FT ( function type)
        intrinsic pointer to instance of type FT ( function type)
      ... returning
        _retval__operator_notequal: signed int
        ... with attributes:
          Attribute with name: unused


    ... to arguments
      Variable Expression: next: function
        accepting unspecified arguments
      ... returning nothing

      Generated Cast of:
        constant expression (0 0: zero_t)
      ... to:
        pointer to function
          accepting unspecified arguments
        ... returning nothing


  (types:
    signed int
  )
  Environment: -> function
        accepting unspecified arguments
      ... returning nothing
 (no widening)


Cost ( 0, 2, 17, 0, 1, -2, 0 ): Application of
      Variable Expression: ?!=?: forall
        DT: data type
        function
      ... with parameters
        intrinsic pointer to instance of type DT (not function type)
        intrinsic pointer to instance of type DT (not function type)
      ... returning
        _retval__operator_notequal: signed int
        ... with attributes:
          Attribute with name: unused


    ... to arguments
      Variable Expression: next: pointer to signed int
      Generated Cast of:
        constant expression (0 0: zero_t)
      ... to:
        pointer to signed int

  (types:
    signed int
  )
  Environment: -> signed int (no widening)



