Refactor search_formulae.
#4307
+5
−6
Merged
search_formulae.
#4307