Likely Bugs/RecursiveEquals.ql