Combinators are created automatically for assertions added with refute.add