From 11cb12eca4a8de1d3593cc715dda46b44376fe5c Mon Sep 17 00:00:00 2001
From: David Van Horn <dvanhorn@cs.umd.edu>
Date: Wed, 13 Nov 2024 23:38:29 -0500
Subject: [PATCH] Crook (#2)

Fix bug in predicate match pattern.