Restored testing of `use_module/1` directives for the `modules` example