Interaction visitor now use Choco solver to split transitions with
condition.