We now only generate procedure instantiations that are actually used in the program! Results in much smaller binaries.