Filtering for trait code equal MCRL