[slicing] more robust correspondance between function varinfos

The varinfo used for occurences that were not handled directly by filter, but
relied on standard visitor replacement was absolutely not synchronized with the
the ones generated according to the finfo list.