Finally able to open the syz zipper to where a (GenericQ Bool) matches