(Program
  (Context
  {-(Comment)-}
    (Comment)
  { (Comment)
  ->(Comment) }
    (Empty)))