Added a function to build the "partial-bijection" from program var to naturals