fix a bug in backtracing Auth in AD
Fix a bug in clearing the previous backtracing of Authenticity in Activity Diagrams before each security verification
Fix a bug in clearing the previous backtracing of Authenticity in Activity Diagrams before each security verification