Full Directional Arc Consistency