Function make_abort_ne_symbinst 

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