https://github.com/gsdlab/clafer/issues/10
https://github.com/gsdlab/clafer/issues/10

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