make well-formedness of blocks check toplevel programs