Likely Bugs/Statements/ImpossibleCast.ql