More work on scopes. Added UnusedAbstractException, which fixed many of
the positive test suite inputs. TODO: fix the rest of Operations to work
with ints.
Merge branch 'master' of https://github.com/gsdlab/ClaferZ3