[ build ] command line CABAL_OPTIONS shouldn't override Makefile options
[ issue1213 ] fixed shadowing bug in occursCheck on levels
[ issue1213 ] test case
Merge branch 'issue1213'