Added Aczel traces with process labels