first version of LibpfmFormula + tests