Introducing control flow in qubit allocation for quantum Turing machines

Reconcile the non-deterministic properties of quantum control flow when allocating logical qubits from a given quantum circuit to a specific NISQ device in the pre-processing and compiling stage.