match t1, t2 with
| Variable _, Variable _ -> true
| Variable _, _
- | _, Variable _ -> false
- | Layout _, _
- | _, Layout _
+ | _, Variable _
| Magic _, _
- | _, Magic _ -> assert false
+ | _, Magic _ -> false
+ | Layout _, _
+ | _, Layout _ -> assert false
| _ -> true