a1.sml/a2.sml:
(* {rsi A dst A:A rst C
    (ost A [rst B rst D])}*
   dfu F
*)
(* dsi A *)
===
(* {rsi A dst A:A rst C
    rst B rst D)}
   dfu F
*)
----------------------------------
