x(
eq) M 
False 
x(eq) M7. v: T List
8. x(
eq) (v @ M) x(eq) v x(eq) M if eq(x,u)
true
else x(eq) (v @ M) fi if eq(x,u) true else x(eq) v fi x(eq) M
}
eq) (L @ M)
x(eq) L x(eq) M
| 1 | x(eq) M False x(eq) M |
| 2 | 6. u: T 7. v: T List 8. x( eq) (v @ M) x(eq) v x(eq) M if eq(x,u) true else x(eq) (v @ M) fi if eq(x,u) true else x(eq) v fi x(eq) M |
About:
 |  |  |  |  |  |  |  |  |