export and import state machine extra parameters
simplify visitors usage
update doc