Modified alloy code generat to generate unique references to int
Modified alloy code generat to generate unique references to int

juodaspaulius/clafer-old-customBNFC,juodaspaulius/clafer,juodaspaulius/bclafer_old,gsdlab/clafer,gsdlab/clafer,juodaspaulius/clafer