pub fn debug_assert_model_well_formed(model: &Model, origin: &str)
Debug-assert that a model is well-formed by applying all AST assertions in this module.