for T being Tree st T = {0,1} * holds
T is binary