To improve profiling speed, use vectors instead of hashes to access the know statements by ID.
Log in to post a comment.