Add the function of semantic tracing into TextSeer