got simple unrolling working for loops without phi-nodes, but still need to add renaming of phi-bound variables