(Program
  (Case
    (Identifier)
    (When
      (Other "pattern"
        (Identifier))
      (Identifier)
    { (Else)
    ->(Else
        (Identifier)) })))