C-FOVE: Full Expand

* MacroOperations: added the Full Expand macro operation
* SimpleParfactor: full expand method and correction to expand method
* Parfactor: added full expand method
* CountingFormula: add method to verify and convert the counting
formula to a standard PRV
* MacroOperationsTest and Pool: tests for full expand

The expand method now must convert a counting formula to standard PRV
when its logical variable is constrained to a single constant.