DG-MINING: Given a log L and a set Π of precedence constraints over A(L), Note that G2 is a model of Π0, while G0 and G1 are not as they violate the .