! @expect error

pure function cap(x)
  implicit none
  integer, intent(in) :: x
  integer :: y
  integer :: cap
  y = x
  if (10 < y) then
      y = 10
  end if
  cap = y
end function


program main
  implicit none
  integer :: cap
  integer :: x
!$CVL $input
  integer :: n
  !$CVL $assert(cap(2) == 2)
  !$CVL $assert(cap(15) /= 10)
  x = n
  !$CVL $assert(cap(x) <= 10)
end program main