let split_instr stmt g =
    let instrs =
    match stmt.skind with
    | Instr(ins_list) when (Caml.List.length ins_list) > 1 ->
                    Format.printf "List length is greater than 1\n"; stmt
    | _ -> stmt
    in
    instrs