fix parser
fix bug
Arithmetic opposite
Merge branch 'feature-count' into develop
fix domain channeling

previous version :
did not perform GAC
was slower
subcircuit sample

for Mario Kart
improved sample