Decompose a formula
decomposeFormula(formula)
formula
the formula to decompose
a list of lists of the formulas components