#ifndef ZERO_C_MIR_VERIFY_H
#define ZERO_C_MIR_VERIFY_H

#include "zero.h"

bool z_mir_verify_direct_contracts(IrProgram *ir);

#endif