[{ s =
   (ExprStmt (
      { e =
        (Call (
           { e = (Special ((Op Mult), _)); e_id = 0; e_range = None;
             is_implicit_return = false; facts = <opaque> },
           (_,
            [(Arg
                { e =
                  (N
                     (Id (("y", _),
                        { id_resolved = ref (None);
                          id_resolved_alternatives = ref ([]);
                          id_type = ref (None); id_svalue = ref (Unknown);
                          id_flags = ref (0); id_info_id = _ }
                        )));
                  e_id = 0; e_range = None; is_implicit_return = false;
                  facts = <opaque> });
              (Arg
                 { e =
                   (N
                      (Id (("z", _),
                         { id_resolved = ref (None);
                           id_resolved_alternatives = ref ([]);
                           id_type = ref (None); id_svalue = ref (Unknown);
                           id_flags = ref (0); id_info_id = _ }
                         )));
                   e_id = 0; e_range = None; is_implicit_return = false;
                   facts = <opaque> })
              ],
            _)
           ));
        e_id = 0; e_range = None; is_implicit_return = false;
        facts = <opaque> },
      _));
   s_range = None };
  { s =
    (ExprStmt (
       { e =
         (Call (
            { e = (Special ((Op Plus), _)); e_id = 0; e_range = None;
              is_implicit_return = false; facts = <opaque> },
            (_,
             [(Arg
                 { e =
                   (N
                      (Id (("x", _),
                         { id_resolved = ref (None);
                           id_resolved_alternatives = ref ([]);
                           id_type = ref (None); id_svalue = ref (Unknown);
                           id_flags = ref (0); id_info_id = _ }
                         )));
                   e_id = 0; e_range = None; is_implicit_return = false;
                   facts = <opaque> });
               (Arg
                  { e = (L (Float ((Some 1.), _))); e_id = 0; e_range = None;
                    is_implicit_return = false; facts = <opaque> })
               ],
             _)
            ));
         e_id = 0; e_range = None; is_implicit_return = false;
         facts = <opaque> },
       _));
    s_range = None }
  ]