now it is able to generate a SDFG but it needs prune