Fix for bug 101. http://gsd.uwaterloo.ca:8888/question/467/non-exhaustive-patterns-in-function
Fix for bug 101. http://gsd.uwaterloo.ca:8888/question/467/non-exhaustive-patterns-in-function

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