(Xronos) XronosIr, adding to the model a DFG for each basic block, only
skeleton