AC-FOVE: full expand

* Shatter: code cleaning and added correction to clear name buffer
* StdMarginal: replace()
* FullExpand: implementation of full expand operation
* MacroOperationTest: test for full expansion