isWellformed [(1,[1,2,4]),(2,[1,3]),(3,[2]),(4,[1,4]),(5,[])] == True
isWellformed [(1,[1,2,4,2]),(3,[2]),(4,[4])] == False

isConnected [(1,[1,4,2]),(2,[3,1]),(4,[4,1],(3,[2])] == True
isConnected [(1,[1,4,2]),(2,[3,1]),(4,[4,1],(3,[2]),(5,[])] == False

patternMatching "ab?xy" ["abCxy","baKunterbunTov","abPxy"] == ["abCxy","abPxy"]
patternMatching "ab*xy" ["abKunterbunTxy","baov","abxy"] == ["abKunterbunTxy","abxy"]

transformTree (Node 2 (Leaf 2) (Leaf 3)) == (SNode 2 SNil (SLeaf 3))
transformTree (Node 2 (Leaf 2) (Leaf 2)) == (SLeaf 2)