Prevent adding a module twice to an ExecutionEngine (it may be the cause of crashes)