Kildall's algorithm