This check was an artefact of our prior unawareness of backward
profits.
Also, this uncovered some double-sandwiches that weren't being
reported in tests. So adjust test for those, and add another double
sandwich test while we're at it.
(note: double sandwiches and checkMismatched aren't intrinsically
related... this should really have been two commits).
This check was an artefact of our prior unawareness of backward profits.
Also, this uncovered some double-sandwiches that weren't being reported in tests. So adjust test for those, and add another double sandwich test while we're at it.
(note: double sandwiches and checkMismatched aren't intrinsically related... this should really have been two commits).
close #33