(Xronos) NewLimGen, Adding cast to the return of instruction when
creating a block from a function(basically inlining), testing all uses
before chossing if a variable shouls be in the output of the block