Likely Bugs/Arithmetic/ConstantExpAppearsNonConstant.ql