Rewriting the main method of compilation using the new design of Pardis