factor out function to quantify over free variables (also for CCC)
do not create wrong sentences in error cases
Merge pull request #1347 from spechub/quantify-free-vars

Quantify free vars