Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults