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