let cvt univ = function | Strongconflicts_int.Explicit -> Explicit | Strongconflicts_int.Conjunctive -> Conjunctive | Strongconflicts_int.Other l -> Other (reason univ l)