directional arc consistency