two apply_strategy_one_transition
Debugging=None by default
helping functions to split alternatives performing IN/OUT by channel
for debugging purposes
working version showing how to exploit action-det (see RECHERCHE/*.org)
set up the structure of apply_one_tranisiton in algorithm.ml