conc
 Author: Unknown Since: Unknown Summary: Conc to Cons SDF2 lists are composed by means of a binary concatenation operator (\verb|A+ A+ ->A+|) that we translated to \verb|Conc| above. In abstract syntax trees we want to represent lists by \verb|Cons/Nil| structures. The following rules achieve this transformation. Note: these strategies are not used in the main implode-asfix.
Definitions: