let debug_display_stmt_all_pre (st,tr)=
  let tr_str = debug_display_stmt_pre tr "tr" in
  let st_str = debug_display_stmt_pre st "st" in
  concat ["tr=";tr_str;" ";"st=";st_str]