Edge arc consistency