pfoqcompiler: a Python compiler into Qiksit for a first-order quantum programming language, used for optimizing recursive procedure calls performed in orthogonal branches of a quantum control statement and avoiding the problem of branch sequentialization. This implements the techniques described in papers C1-3 and J2.