investigate bad behavior of int-semantic-tauto

[c-cube]

./zipperposition.exe -o none --dot /tmp/truc.dot -t 10 examples/ARI184=1.p --int-semantic-tauto -p blocks at step 8.

See if we can use a simpler, more correct simplex (funarith?).