Performance tweaks for StrategyExecutor (hopefully)
Merge commit 'e607e3c3e4b5d449c4258aae854bfc1706245a1c' into separate-compilation-bootstrap
StrategyExecuter specialization for 4
Merge commit '7e7372ec60b4685a6ad58a23e84ab1c5a9471249' into separate-compilation-bootstrap
Congruence Definitions are annotated
Strategies from Dynamic Rules get annotated, too
StrategyExecutorBuilder removed duplicates of Dynamic rules or congruence strategies collected from different libraries
Removed output
TEMPORARY Fix: Distrubted overlays over different files
Merge commit 'e1ef640054db645178e9f15b4d496685189dc14c' into separate-compilation-bootstrap