Speedups
	• Reachability Analysis • More informed heuristic