class ErasureCompilerPhase
	super Phase
	redef fun process_mainmodule(mainmodule, given_mmodules) do
		if not toolcontext.opt_erasure.value then return

		var modelbuilder = toolcontext.modelbuilder
		var analysis = null
		if toolcontext.opt_rta.value then
			analysis = modelbuilder.do_rapid_type_analysis(mainmodule)
		end
		modelbuilder.run_separate_erasure_compiler(mainmodule, analysis)
	end
end