splitting of groupoid_utility2.v