The bifurcation lemma for strong properties in the inverse eigenvalue problem of a graph