$func Main = e;
Main =
  A (B C) D :: e,
  A B :: e,
  (A B) :: e,
  ((A B)) :: e,
  D (B C) A :: e,
  A B (C D) E F :: e,
  M (X (C D) Y) N :: e,
  A X (C D) Y B (Z Z) :: e,
  (A B) (X A B) (X A B C D) (B C) (C D) :: e,
  (X A B) (X A B C D) :: e,
  ((())) (()) () :: e,
  1 2 :: e,
  3 4 :: e,
  2 3 :: e,
  1 2 3 4 :: e,
  1 2 3 :: e,
  2 3 4 :: e;