Add iN synthesis with two queries (no quantifiers)