Use PQ for IncInf; add updating alphas
Implement main loop for LDAG algorithm