adding FinalStateAnalysis dependency