The first commit of SemanticTracing.