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