stacksBefore[offset] .generalize(other.stacksBefore[offset]); variablesAfter[offset] .generalize(other.variablesAfter[offset], false); stacksAfter[offset] .generalize(other.stacksAfter[offset]);
stacksBefore[offset] .generalize(other.stacksBefore[offset]); variablesAfter[offset] .generalize(other.variablesAfter[offset], false); stacksAfter[offset] .generalize(other.stacksAfter[offset]);
stacksBefore[offset] .generalize(other.stacksBefore[offset]); variablesAfter[offset] .generalize(other.variablesAfter[offset], false); stacksAfter[offset] .generalize(other.stacksAfter[offset]);
stacksBefore[offset] .generalize(other.stacksBefore[offset]); variablesAfter[offset] .generalize(other.variablesAfter[offset], false); stacksAfter[offset] .generalize(other.stacksAfter[offset]);
boolean stackChanged = stacksBefore[instructionOffset].generalize(stack); stack.generalize(stacksBefore[instructionOffset]); stacksAfter[instructionOffset].generalize(stack);
boolean stackChanged = stacksBefore[instructionOffset].generalize(stack); stack.generalize(stacksBefore[instructionOffset]); stacksAfter[instructionOffset].generalize(stack);
boolean stackChanged = stacksBefore[instructionOffset].generalize(stack); stack.generalize(stacksBefore[instructionOffset]); stacksAfter[instructionOffset].generalize(stack);
boolean stackChanged = stacksBefore[instructionOffset].generalize(stack); stack.generalize(stacksBefore[instructionOffset]); stacksAfter[instructionOffset].generalize(stack);