Member predicate Module::Module::inStdLib

Holds if this module is in the standard library for version major.minor

predicate inStdLib(int major, int minor)