public interface SMGAbstractionFinder
java.util.Set<SMGAbstractionCandidate>
traverse(ReadableSMG pSmg)
java.util.Set<SMGAbstractionCandidate> traverse(ReadableSMG pSmg)