Added support for negative assertions, e.g. asserting adding two naturals overflows, exists a + b < 0