Change of signatures of unit functions update_state!, check_constraints
of the automata edges. Use getfield instead of getproperty.

Now the execution of statistical estimation of the distance G is of the
order of Cosmos !