Introduce mapping_tree.h