-- Testbed line: result_type=set<bool>
-- Testbed line: result_elements=2
-- Testbed start block:
Element 1: T
Element 2: T
-- Testbed end block: