Added trace messages to the invariant to help find the bug we're running into.
Added trace messages to the invariant to help find the bug we're running into.

YaccConstructor/facio,jack-pappas/facio,emavchun/facio,emavchun/facio,YaccConstructor/facio