let default_transition k =
  let t = Lang.source_t (Lang.kind_type_of_frame_kind k) in
    Lang.val_fun
      [ "","x",t,None ; "","y",t,None ] ~ret_t:t
      (fun e _ -> List.assoc "y" e)