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