debug double transition