Implement EncodedFormula to CMML conversionn