Tool to analyze Amazon SWF workflows