Commit 1eb1b36b authored by Alex Biehl's avatar Alex Biehl

Push heap checks into case alternatives if possible for comparisons.

parent 015f6ecc
Pipeline #434 failed with stages