(* This file was generated by lv6 version 6.101.17. *)
(*  lv6 -ec test1_b.lv6 test1_a.lv6 -n test1 -o test1.ec *)
(* on charmansom the 23/06/2020 at 14:05:45 *)

node test1(tab_0:int; tab_1:int; tab_2:int; tab_3:int; ix:int) 
returns (res:int);
var
   __split_2_4:bool;
   __split_4_4:int;
   __split_6_4:int;
   __split_7_4:int;
   ___split_1_1_4:bool;
   ___split_1_2_4:bool;
   __split_2_3:bool;
   __split_4_3:int;
   __split_6_3:int;
   __split_7_3:int;
   ___split_1_1_3:bool;
   ___split_1_2_3:bool;
   _split_19:int;
   _split_18:int;
   _split_16:int;
   _split_14:bool;
let
   res =  if _split_14 then _split_16 else _split_19;
   _split_14 = (ix) < (2);
   __split_7_3 =  if ___split_1_2_3 then tab_1 else -1;
   ___split_1_2_3 = (__split_6_3) = (0);
   __split_6_3 = (ix) - (1);
   __split_4_3 =  if ___split_1_1_3 then tab_0 else -1;
   ___split_1_1_3 = (ix) = (0);
   __split_2_3 = (ix) < (1);
   _split_16 =  if __split_2_3 then __split_4_3 else __split_7_3;
   _split_18 = (ix) - (2);
   __split_7_4 =  if ___split_1_2_4 then tab_3 else -1;
   ___split_1_2_4 = (__split_6_4) = (0);
   __split_6_4 = (_split_18) - (1);
   __split_4_4 =  if ___split_1_1_4 then tab_2 else -1;
   ___split_1_1_4 = (_split_18) = (0);
   __split_2_4 = (_split_18) < (1);
   _split_19 =  if __split_2_4 then __split_4_4 else __split_7_4;
tel
-- end of node test1_b__test1
