MANTA-20 adjust SVFinder loop to handle non-spanning cases