Domain Transition Analysis:    clarify comment for verify_trans function
Domain Transition Analysis:
   clarify comment for verify_trans function


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