The @RequiresModule module should be made repeatable so more than one module can be checked and must exist before a test is executed.

@RequiresModule("org.wildfly.arquillian.example")
@RequiresModule("org.wildfly.arquillian.test")
class ExampleTest {
}

We could add new annotations like @AllOf or @AnyOf as well to require all to be found or at least one to be found.