! Always true version of ITE_call_BC.
  Standard input values: str = "ITE_call_BC", l0 = ( )  !

ITE		and
  T	(str	Alst	Blst	Clst	l0)
	(ITE_at_inp		at_inp		(str	Alst	Blst	Clst	l0)
	 at			T_out		(at_inp))


! Returns the call list to ITE_call_BC.
  Standard input values: str = "ITE_call_BC", l0 = ( )  !

ITE_at_inp		and
  T (str	Alst	Blst	Clst	l0)
	(add	l1		(l0		str)
	 add	l2		(l1		Alst)
	 add	l3		(l2		Blst)
	 add	l4		(l3		Clst))


! Returns the output term of the Blst call if the Alst call is confirmed.
  Otherwise returns the output term of the Blst call !

ITE_call_BC		and
  T	(Alst	Blst	Clst)
	(ITE_BC_lst		BC_lst		(Alst		Blst	Clst)
	 fi			BC		(BC_lst)
	 call			BC_out		(BC))


! Returns (Blst Clst) if the Alst call is confirmed. Otherwise returns (Clst) !

ITE_BC_lst		or
  T	(Alst	Blst	Clst)
	(ITE_ret_B	B	(Alst	Blst)
	 cp		C	(Clst))


! Returns Blst if the Alst call is confirmed !

ITE_ret_B		and
  T	(Alst	Blst)
	(call		NULL		(Alst)
	 cp		B		(Blst))