) (TO <2 .L>) (CNT <3 .L>) (NO-OVERLAP? )) #DECL ((L) LIST) >)> )> )> )> > > ) (ELSE )>> ) (TO <2 .L>) (CNT <3 .L>) (TY ) (TG ) (DIRECTION )) #DECL ((L) LIST) >)> >)> <==? .TY VECTOR>> >)> > <==? .TY VECTOR>> )> >