modelbuilder: add parameter `given_mmodules` to `Phase::process_mainmodule`