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