Add `Safe` annotation to the modules.