CataGlobTest: beta-reduction