let debug_display_stmt_all_pre_bycase (st,tr)=
  let tr_str = debug_display_stmt_pre_bycase tr "tr" in
  let st_str = debug_display_stmt_pre_bycase st "st" in
    concat ["tr=";tr_str;" ";"st=";st_str]