more stable. need to work on aggregation. Added aigex tool to explore aig ds