Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or