Add precompilation functions.
Decompose reactions into simpler ones.
Split all reactions in a set.
Introduce buffer reactions.
ite_friendly keeps the leftmost structure of the tree.
Put everything together
Optimize multiplication by constant