accidentally pushed a commit I didn't intend to

Revert "IN PROGRESS: started on redex undefined check update"

This reverts commit 3859a6f69e98bc0ebeb1a83be49a4903989b84f4.