[thin_check] wire up mapping tree checker