Filtering for trait Body equal AOT