Module checker_instantiation

Source