DownShaker tested.
StarMerger tested and subsequently corrected.
Formulae are now merged simplified before computation.
Sample STL* formula.