reuse quantification
integrate stripQuant into quantFreeVars
Merge pull request #1375 from spechub/CCC_refactoring

Ccc refactoring