假设我有事实文件：
code_in_git(a)
code_in_git(b)
code_in_git(c)
build_on_disk(a)
build_on_disk(c)
我想断言规则"如果code_in_git（$branch）而不是build_on_disk（$branc），则创建事实needs_build（$branch）"。我该怎么做？
好吧，看来我可以用notany:断言它们
no_build_on_disk
foreach
deploy.code_in_git($branch)
notany
deploy.build_on_disk($branch)
assert
deploy.needs_build($branch)