let
check program =
define_glibb program;
check_block (snd program) []
Unit
;
opt_useless program