RedundantCode/DuplicateBranches.ql