Apparently sets are not stable, and need sorting before creating identifiers.
Merge branch 'master' of https://github.com/cwi-swat/rascal