private static void addEdge(InstructionImpl begin, InstructionImpl end) {
begin.addSuccessor(end);
end.addPredecessor(begin);
if (!(begin instanceof ReadWriteVariableInstruction || begin instanceof MixinTypeInstruction)) {
end.addNegationsFrom(begin);
}
}
