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]