greedy_constructor_query_bug