Member predicate Function::isNonConstructible
Holds if this function cannot be invoked using new because it
is of the given kind.
predicate isNonConstructible(string kind)Holds if this function cannot be invoked using new because it
is of the given kind.
predicate isNonConstructible(string kind)