ferric uptake regulator titration assay evidence used in automatic assertion