C-FOVE: Unification with counting formulas

* ParameterizedFactor: method to detect logical variables inside
standard parameterized variables
* SimpleParfactor: corrections to Expansion and inclusion of counting
formulas in unification
* CountingFormula: substitution methods
* SimpleParfactorTest and Pool: tests for unification with counting
formulas