Added more invariants to localize the source of the unbalancing.
Added more invariants to localize the source of the unbalancing.

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