if (inequality.isCheckOnly()) { return; }
for (Pair<SNode, SNode> pair : inequality.getInputsAndOutputs()) {
SNode input = myState.getRepresentative(pair.o1);
SNode output = myState.getRepresentative(pair.o2);
if (input == null || output == null) continue;
<BUG>for (SNode inputVar : TypesUtil.getVariables(input, myState)) {

if (TypesUtil.isVariable(inputVar)) {</BUG>
myNodesInc.add(inputVar);
myNodesToBlocksInc.addLink(inputVar, inequality);

if (inequality.isCheckOnly()) { return; }
for (Pair<SNode, SNode> pair : inequality.getInputsAndOutputs()) {
SNode input = myState.getRepresentative(pair.o1);
SNode output = myState.getRepresentative(pair.o2);
if (input == null || output == null) continue;
final List<SNode> invars = TypesUtil.getVariables(input, myState);
for (SNode inputVar : invars) {
if (TypesUtil.isVariable(inputVar)) {
myNodesInc.add(inputVar);
myNodesToBlocksInc.addLink(inputVar, inequality);
