Plugin for loading all required modules. A module can import other modules and to check if a module is well formed or all propositions are formally correct proved we have to recursively get all imported modules.