for T being binary Tree
for t being Element of T holds t is FinSequence of BOOLEAN