Fixed subtraction in the Choco backend.
improved simple scope analyzer

see test case `Suite.SimpleScopeAnalyzer.hs` for a specification
use scope of target clafer for references with *
Merge branch 'develop' into lens