fn is_equiv_instruction( lhs: &Instruction, rhs: &Instruction, map: &HashMap<BlockId, BlockId>, ) -> bool