Clean up Ambiguity Processor Tool
Cleaning of the Ambiguity Solver. Redundant/ineffectual code was removed. Code was cleaning and re-organized a bit The code should be easier to read as many more comments More tunable parameters Performance differences discussed in CTIDE meeting Oct 2020
Edited by Gabriel Facini