changed Alloy code for Clafer references
changed Alloy code for Clafer references

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