Parser bug when compiling with assertions

[wintered]

Hi,

I found out that the following (probably invalid formula) is accepted by z3 compiled with assertions.

 (assert (a  0  (let ())

z3 throws the following assertion violation

File: ../src/util/ref_vector.h
Line: 91
sz <= m_nodes.size()

I'm curious, where do you typically put assertions and when you put them do you expect
unintended behaviour at that very place?

OS: Ubuntu 18.04
Revision: dee8a9f