Performance Antipatterns as Logical Predicates