commit of verification long standing branch

why? because it will be replaced by ```isUnifiableByCurrentAlgorithm```?