Assertion: compiler | /r/CapableOf | rewrite the condition
Facets:
value: to -1
type: OTHER
Source sentences:
text: The compiler can rewrite the condition y+1 == 0 to y == -1 .