Retypes the dfs solution queue
SCXML engine