It's a possibility. But if pruning an inconsistency introduces an error, maybe such an analysis is flawed itself from the start. Take for example again the simple form $x/x$, now let's say we prune the inconsistency only, by limiting the domain of $1/x$ only to the positive side. Then $x/x$ would go from equating $+1$ for any value of $x$ to equating $-1$ for negative values of $x$, which is incorrect. The inconsistency introduced by $1/x$ is needed for $x/x$ to yield the correct result. A different thing is to, instead of removing the inconsistency, limiting the domain for the whole expression.