pub fn debug_assert_all_names_resolved(model: &Model, origin: &str)
Debug-assert that all names referenced by expressions/domains resolve to declared symbols.