let compare_field f1 f2 = LogicId.compare f1.f_name f2.f_name