% these should all fail

k2p-conflict semantics:[t1() t2() db()]
adj-failure  semantics:[a() xb()] % top/bot conflict

tb-failure1  semantics:[eb1()]
tb-failure2  semantics:[eb2() t1() t2()]

% aconstr:noadj nodes
tb-noadj-bad semantics:[tb-unification-noadj() thing-bad()]

tb-unification-na-bad semantics:[tb-unification-na(bad)]
tb-unification-anchor-bad semantics:[tb-unification-anchor(bad)]

interface-unification semantics:[interface()]
trace-bad  semantics:[trace()[T2]]

enrichment-bad semantics:[enrichment-bad()]

single-use-var
semantics:[single-use-var()]