let check program =
  let _, block = program in
    check_block block []