added mechanism to reject unsatisfiable tentative constraints
added example graph