Add RunTREx to tests