arc consistency, but not yet working