Allow empty predicate abstraction (without .pred file)
Intercepting errors (spurious) at notification-time is too late
Extract predicates from interpolants
Fix
Fixes