Move state_t constructor to reset_state()
Fix issue when sometimes the wrong parallel edge is traversed
TC for test with garbage argument