!REQUIREMENT
  !OPTION -y 0.0 !-op divide
  !OPTION !-y 0.0
  !ERROR_MSG
    Cannot divide by zero
    result would be undefined
!END