greedy spanner heuristics added