Some test failures that fail right now. We could implement
backtracking, or simply make this eager.