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]