let block_length _m l = Hlib.block_length (top_loc_term l)