SUCCESS\
assertion failed: x + 1 == y
FAILURE\
assertion failed: x == y
UNREACHABLE\
assertion failed: x != y