let debug_display_spec_bycase (pre_st,_,post_st,_) name= let pre_str = debug_display_stmt_pre_bycase pre_st "st" in let post_str = debug_display_stmt_pre_bycase post_st "st" in concat [pre_str;" ";name;" ";post_str]