IrofASTTransformation