Predicate EmptyExcept::attribute_access

predicate attribute_access(Stmt s)