module strategy/general/option
signature
  sorts Option(a)
  constructors
    None : Option(a)
    Some : a -> Option(a)
strategies

  option(s) = None + Some(s)