Remove CVC4 side conditions for div; next CVC4 version should support it natively
Change settings to instance object rather than static class