Added arc consistency