def f(): checkify.check_error(checkify.Error(True, 0, {0: "hi"}))
def f(pred): # note: data dependence needed! checkify.check_error(checkify.Error(~pred, 0, {0: "hi"}))
def f(): checkify.check_error(checkify.Error(True, 0, {0: "hi"}))
def f(pred): # note: data dependence needed! checkify.check_error(checkify.Error(~pred, 0, {0: "hi"}))