----------------------------------------
|context> => |context: binary tree>

supported-ops |x> => |op: text> + |op: left> + |op: right>
text |x> => |start node>
left |x> => |0>
right |x> => |1>

supported-ops |0> => |op: text> + |op: left> + |op: right> + |op: inverse-left>
text |0> => |first child node>
left |0> => |00>
right |0> => |10>
inverse-left |0> => |x>

supported-ops |1> => |op: text> + |op: left> + |op: right> + |op: inverse-right>
text |1> => |second child node>
left |1> => |01>
right |1> => |11>
inverse-right |1> => |x>

supported-ops |00> => |op: text> + |op: left> + |op: right> + |op: inverse-left>
text |00> => |third child node>
left |00> => |000>
right |00> => |100>
inverse-left |00> => |0>

supported-ops |10> => |op: text> + |op: left> + |op: right> + |op: inverse-right>
text |10> => |fourth child node>
left |10> => |010>
right |10> => |110>
inverse-right |10> => |0>

supported-ops |01> => |op: text> + |op: left> + |op: right> + |op: inverse-left>
text |01> => |fifth child node>
left |01> => |001>
right |01> => |101>
inverse-left |01> => |1>

supported-ops |11> => |op: text> + |op: left> + |op: right> + |op: inverse-right>
text |11> => |sixth child node>
left |11> => |011>
right |11> => |111>
inverse-right |11> => |1>

supported-ops |*> => |op: child> + |op: parent> + |op: nghbr>
child |*> #=> left |_self> + right |_self>
parent |*> #=> inverse-left |_self> + inverse-right |_self>
nghbr |*> #=> parent |_self> + child |_self>

supported-ops |op: text> => |op: inverse-supported-ops>
inverse-supported-ops |op: text> => |x> + |0> + |1> + |00> + |10> + |01> + |11>

supported-ops |op: left> => |op: inverse-supported-ops>
inverse-supported-ops |op: left> => |x> + |0> + |1> + |00> + |10> + |01> + |11>

supported-ops |op: right> => |op: inverse-supported-ops>
inverse-supported-ops |op: right> => |x> + |0> + |1> + |00> + |10> + |01> + |11>

supported-ops |start node> => |op: inverse-text>
inverse-text |start node> => |x>

supported-ops |op: inverse-left> => |op: inverse-supported-ops>
inverse-supported-ops |op: inverse-left> => |0> + |00> + |01> + |000> + |010> + |001> + |011>

supported-ops |first child node> => |op: inverse-text>
inverse-text |first child node> => |0>

supported-ops |op: inverse-right> => |op: inverse-supported-ops>
inverse-supported-ops |op: inverse-right> => |1> + |10> + |11> + |100> + |110> + |101> + |111>

supported-ops |second child node> => |op: inverse-text>
inverse-text |second child node> => |1>

supported-ops |third child node> => |op: inverse-text>
inverse-text |third child node> => |00>

supported-ops |000> => |op: inverse-left>
inverse-left |000> => |00>

supported-ops |100> => |op: inverse-right>
inverse-right |100> => |00>

supported-ops |fourth child node> => |op: inverse-text>
inverse-text |fourth child node> => |10>

supported-ops |010> => |op: inverse-left>
inverse-left |010> => |10>

supported-ops |110> => |op: inverse-right>
inverse-right |110> => |10>

supported-ops |fifth child node> => |op: inverse-text>
inverse-text |fifth child node> => |01>

supported-ops |001> => |op: inverse-left>
inverse-left |001> => |01>

supported-ops |101> => |op: inverse-right>
inverse-right |101> => |01>

supported-ops |sixth child node> => |op: inverse-text>
inverse-text |sixth child node> => |11>

supported-ops |011> => |op: inverse-left>
inverse-left |011> => |11>

supported-ops |111> => |op: inverse-right>
inverse-right |111> => |11>

supported-ops |op: child> => |op: inverse-supported-ops>
inverse-supported-ops |op: child> => |*>

supported-ops |op: inverse-supported-ops> => |op: inverse-supported-ops>
inverse-supported-ops |op: inverse-supported-ops> => |op: text> + |op: left> + |op: right> + |op: inverse-left> + |op: inverse-right> + |op: child> + |op: inverse-supported-ops> + |op: inverse-text>

supported-ops |op: inverse-text> => |op: inverse-supported-ops>
inverse-supported-ops |op: inverse-text> => |start node> + |first child node> + |second child node> + |third child node> + |fourth child node> + |fifth child node> + |sixth child node>
----------------------------------------