Prover/Prepare the Initial Wizard for the Permutation Query

[arijitdutta67]

Description

This issue is about preparing the initial wizard for distributing the prover work among sub provers. We only focus on the permutation query for this issue. The idea is to process all the permutation queries specific to a target module
into a grand product query, hence enabling the horizontal split for the permutation query.

Motivation

It does a necessary ground work for developing the limitless/distributed prover.