Invert [tt-000B]

這裡的重點是，既然 $?0$ 已經套用了 $B$ 與 $x$ ，因此就創立關聯它所創立的 lambda 變數到其 contextual variables 的 map

1 -> B
2 -> x

現在右手邊的 term 只需要看自己的每個 rigid form 有沒有被指向，只要這個 map 裡面查找到有變數是指向 rigid form 自己即反過來創立 rigid form 指向新名字的 map