inlined existential variables for partition benchmark