  It is well known that changes in the Liouville foliations of the isoenergy
surfaces of an integrable system imply that the bifurcation set has
singularities at the corresponding energy level. We formulate certain
genericity assumptions for two degrees of freedom integrable systems and we
prove the opposite statement: the essential critical points of the bifurcation
set appear only if the Liouville foliations of the isoenergy surfaces change at
the corresponding energy levels. Along the proof, we give full classification
of the structure of the isoenergy surfaces near the critical set under our
genericity assumptions and we give their complete list using Fomenko graphs.
This may be viewed as a step towards completing the Smale program for relating
the energy surfaces foliation structure to singularities of the momentum
mappings for non-degenerate integrable two degrees of freedom systems.
