Refactor operation equivalence checking in BBVectorize by extending Instruction:...