Likely Bugs/ConstantComparison.ql