let args_of a = 
  assert(is_app a);
  match a with App(_,l) -> l | _ -> assert false