Make TmOracle reduce nullary constructor equalities
I recognised this some weeks ago, but didn't know if this was intended. Now that it bit me in #13363 (comment 199399), I'm pretty sure this wasn't intended.
I recognised this some weeks ago, but didn't know if this was intended. Now that it bit me in #13363 (comment 199399), I'm pretty sure this wasn't intended.