Likely Bugs/SelfAssignment.ql