The verdict, as a pure function of values already read from the chain.
Split out for the same reason evaluateOpen and evaluateBorrow are: the decision is the
part worth testing exhaustively, and as a pure function it can be, chain free, across every
combination of reasons rather than only the ones a fork happens to produce.
The verdict, as a pure function of values already read from the chain.
Split out for the same reason
evaluateOpenandevaluateBorroware: the decision is the part worth testing exhaustively, and as a pure function it can be, chain free, across every combination of reasons rather than only the ones a fork happens to produce.