def conflicted_vars(self, current):
return [var for var in self.vars<EOL>if self.nconflicts(var, current[var], current) > <NUM_LIT:0>]<EOL>
Return a list of variables in current assignment that are in conflict