Fix var inf csv file
This merge request fixes the content of the var inf positions csv file: due to checking if a string position is present in an integer set, this file was returned empty as if no variable positions were present (cfr. !202 (merged)).