How does severus determine if SVs are precise or imprecise? Is it recommended to filter out imprecise results?