S -> cons_Root(par S par S) | cons_Nil();