Check for redundant functions detected by type system.
Check for redundant functions detected by type system.

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