Let's implement an IR transformation that maps logical programs represented as IR to physical programs utilizing the best available qubit subgraph.