let all_versions constr = Util.list_unique (List.map (snd) constr)