Adding predicate functions so we can easily verify TK_VALUE based on TK_X_ID. Working on #125.