Improve the has_no_body predicate