Correct a bug related to the number of minimum feedback variables reported during the preprocessing step