Likely Bugs/RedundantNullCheckSimple.ql