Why is there a null check for oracleOutput? Generally, we do not want to forbid `null` outputs, even though we currently do not make use of these. Use `Objects.equal(oracleoutput, hypOutput)` as a `null`-safe means of comparison.