Fixpoint algorithm