Merge "Represent OpenFormula as list of formulas"