Throughout our code, we have some invariants like this one that test multiple conditions and throw if any of them are triggered. In cases where this does throw, it can be difficult to initially understand exactly how the invariant is triggering.

We should audit our multi-condition invariants throughout our code and separate them if possible. For the invariants that cannot be separated, we should add a comment that can provide some additional info and make debugging easier