Member predicate Module::hasFromFuture

predicate hasFromFuture(string attr)