the root cause of the original problem is caused by invalid IR, which can be caught by IR verification -- which is actually different from assertion.