Revisiting Neighborhood Inverse Consistency on Binary CSPs (CP12)