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