* @param name
* the name
*/
public ClauseAggregationTest(String name) {
super(name);
aggregator = new Aggregator();
aggregator.initialise();
coord = new ClauseCoordinationRule();
fcr = new ForwardConjunctionReductionRule();
bcr = new BackwardConjunctionReductionRule();
}