Refactor transformations passes: one per file
Refactor analyses passes: one per file
Add possibility to import from other user-defined module