let print_one_action fmt = function
  | Counter_init lv ->
    Format.fprintf fmt "@[%a <- 1@]" !Ast_printer.d_term_lval lv
  | Counter_incr lv ->
    Format.fprintf fmt "@[%a <- @[%a@ +@ 1@]@]" 
      !Ast_printer.d_term_lval lv !Ast_printer.d_term_lval lv
  | Pebble_init (set,_,v) ->
    Format.fprintf fmt "@[%a <- {@[ %a @]}@]"
      !Ast_printer.d_logic_var set.l_var_info !Ast_printer.d_logic_var v
  | Pebble_move(s1,_,s2,_) ->
    Format.fprintf fmt "@[%a <- %a@]"
      !Ast_printer.d_logic_var s1.l_var_info  
      !Ast_printer.d_logic_var s2.l_var_info
  | Copy_value(lv,v) ->
    Format.fprintf fmt "@[%a <- %a@]"
      !Ast_printer.d_term_lval lv !Ast_printer.d_term v