Filtering for trait Body equal O((")")