Member predicate Modifiable::isAsync

Holds if this declaration is async.

predicate isAsync()