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