Added status dialog for transitive info flow analysis.
Added status dialog for transitive info flow analysis.

(Logical change 1.265)


TresysTechnology/setools3,TresysTechnology/setools3,TresysTechnology/setools3,TresysTechnology/setools3