changed translation to sdsl to generate fully-qualified names, to avoid name clashes in Alloy