implementation for SecondaryModelFormula.transformation added (not
finished yet)