Implement fixpoint using Incremental and incremental inferencing.
Implement reachability for directed graphs.
Implement equation solver.