Simulation of synchronized models is easily distributable.
Change of the signature of check_constraints and update_state in order
to access the model parameters.
Test about distributed simulations was renamed and completed.