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