call the address oracle

Call the address oracle when a built-in decl is found.