the syntax for constructor patterns is not `(c p1 p2 ... pn)` but `c p1 p2 ... pn` in current Egison
the syntax for constructor patterns is not
(c p1 p2 ... pn)butc p1 p2 ... pnin current Egison