moving the last beautification step of the code in its own function
the input for moot transformations now goes through the beautification so we can check like-for-like whether there are no transformations.