Implementation of aggregation techniques in Rascal