lower
greater
equal
greater
lower
greater
not inst
null
non null
different references
equal references
ne
ne
eq
ne
ne
eq