Generate invariant candidates of the form 'x >= 0'