now should add every variable into maps and separate them by types. Now
onto the actual allocation