Member predicate Module::inStdLib

Holds if this module is in the standard library

predicate inStdLib()