Text this: Analysis of correspondence property for security protocols