isObviouslyInfeasible function

Check for obvious contradictions in a set of edits