The flowfunction for getCallToReturnFlowFunction was not taking into consideration the instructions found in the destination block.  We retreive the inCode and outCode elements of the destination block and treat it like a normalflowfunction, except we only propagate localelements and returnelements through the edge from src to dst.
Just modified the way that IntSets are created and returned.  Class should have the same behavior as before