memory clearance
negative cycle detection