answer(enumerated, -1).
answer(enumerated, 0).
answer(enumerated, 1).
answer(check_bound, ok).
answer(check_low_edge, ok).
answer(check_high_edge, ok).
answer(check_outside_rejected, ok).
answer(empty_range_rejected, ok).