check contradiction once per added column
shorter findContradictors calls