Youngs Teflon, Tiny Boost & K-Trap, K-Trap的 Predicate