appappltappsxappsyappappltxyappapplt0appsytrueappapplty0falseappappeqxxtrueappappeqappsx0falseappappeq0appsxfalseappappmemberwnullfalseappappmemberwappappappforkxyzappappappifappappltwyappappmemberwxappappappifappappeqwytrueappappmemberwzapp2lt0s000true0false0eq0member0null0fork0if0FULL./TRS/higher-order/Bird/BTreeMember.trs