Fixed i236

see http://gsd.uwaterloo.ca:8888/question/980/add-compilation-options-command-line-arguments-of

Also corresponding clafer pull request https://github.com/gsdlab/clafer/pull/22