pub fn test_idxtm_equiv(ctx: &Ctx, i: &IdxTm, j: &IdxTm) -> bool