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