@ARGS
--test-repo complicated1.repo
add a !b
@EXPECT
ERROR: unsatisfiable constraints:
d-2.0:
breaks: b-1[d<2.0]
satisfies: c-1[d>1.0]
b-1:
breaks: world[!b]
satisfies: a-3[b]