elaborated the example. Works well with ClaferIG
elaborated the example. Works well with ClaferIG

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