find_morphism_path(): always advance with direct morph, even if complex decomposition from goal exists

src/morphism_path_sugared.rs

@@ -91,10 +91,10 @@ impl<'a, M:SugaredMorphism+Clone> SugaredShortestPathProblem<'a, M> {
                     self.morphism_base.complex_morphism_decomposition( &cur_path.cur_type, &self.goal )
                 {
                     self.advance(&cur_path, complex_morph);
-                } else {
-                    for next_morph_inst in self.morphism_base.enum_morphisms_from(&cur_path.cur_type) {
-                        self.advance(&cur_path, next_morph_inst);
-                    }
+                }
+
+                for next_morph_inst in self.morphism_base.enum_morphisms_from(&cur_path.cur_type) {
+                    self.advance(&cur_path, next_morph_inst);
                 }
             }
         }