AC-FOVE: GAP Unification Tests

* MacroOperations: removed commented code
* Parfactors: unify method (to be implemented)
* Pool and ParfactorsTest: tests for unification
* VariablesToEliminate: quick fix to deal with splits on GAPs

Setting up tests on unification for all kinds of parfactors.