Filtering for trait Reports to equal Sistla