C-FOVE: Propositionalization

* MacroOperations: propositionalization macro-operation
* SimpleParfactor: layout corrections
* Parfactor: added propositionalization method
* MacroOperationsTest and Pool: test of propositinalization
macro-operation

Implementation of the propositionalization macro operation. Tested
using a simple case.