Function is_equiv_arg

fn is_equiv_arg(
    lhs: &JumpArg,
    rhs: &JumpArg,
    map: &HashMap<BlockId, BlockId>,
) -> bool