Branching for extension submodule