maybe isbuiltin_module should take a node as input instead of a name?