Adding function to check for transformations in formulae