Other speedups
	• Heuristics • Aggregations • Reachability Analysis