More durable in-submodule and in-ancestor-module implementation