fix insensitive pt analysis bug, achieving 100% soundness