added assert to express expectations to static analysis tools
`Preconditions.checkState` here probably is not what we want
and `Verify.verify` is probably not yet supported by such tools