Tool for checking trace equivalence for security protocols