The glue between EquivSplit machinery, strategies and rewritters