soft arc consistency