This is due to commit 68bc077, which causes GPUVerify to generate statements like assume v0 and assume !v0 instead of assume v0 && v0 and assume !v0 && !v0. This breaks the logic of GetILessThanC, which depends on && occurring at the root of the expression.
We should investigate whether the rules can simply be removed, because they have been superseded by access breaking, or whether we can make them less fragile.
This is due to commit 68bc077, which causes GPUVerify to generate statements like
assume v0andassume !v0instead ofassume v0 && v0andassume !v0 && !v0. This breaks the logic ofGetILessThanC, which depends on&&occurring at the root of the expression.We should investigate whether the rules can simply be removed, because they have been superseded by access breaking, or whether we can make them less fragile.