Predicate BusyWait::callsCommunicationMethod

predicate callsCommunicationMethod(Method source)