Handling exp, x (and Timestamps) in Protocol Analysis