C-FOVE: Global Sum Out

* MacroOperations: added Global Sum Out macro operation
* ParameterizedFactor: method to get all logical variables
* SimpleParfactor: corrected size() method, removed
getAllLogicalVariables method and rewrote multiplication method
* Parfactor: added size(), and multiplication and sum out methods
* CountingFormula: method to return parameters
* MacroOperationsTest and Pool: test of global sum out

Unifying tests are not working because they assumed that unification
did not rename back logical variables. I will correct that in next
commit.