solves problem :)

Transformation function: better way?
Need to transform unary formula to full formula correctly
Interpretation’s formulas: not good formats (or names).