Made hasLabelBeforeFCall check variability aware.