Function make_abort_eq_symbinst 

pub fn make_abort_eq_symbinst<'a>(
    lhs: Symbol,
    rhs: Symbol,
) -> SymbolicInstructionInfo<'a>