models. It's a better semantic and improve performance as well as
readability of the code. All the tests passes (except the remark in the
last commit).

Reorganization of abc related algorithms. ABC SMC with observations is implemented but not yet tested. automaton abc still works.

R1,R2,R3.