Stratified_Morse_theory loading ...