answer(all_small, ok).
answer(empty_generator, ok).
answer(not_all_large, ok).
answer(bound_outer_environment, ok).
answer(checker_can_use_generator_binding, ok).