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]