let inconsistent ?(use_sets=false) { litterals = sa; array = ar } = if use_sets then inconsistent_set sa else inconsistent_array ar