A class of non-divergence form operators on Carnot groups