def METHOD_NAME(self, proc):
    name = proc.name
    return QAST.Proc(
        name,
        [self.map_fnarg(fa) for fa in proc.args],
        [self.map_expr(p) for p in proc.preds],
        self.map_stmts(proc.body),
        proc.instr,
    )