GeneRated Abstractions for Statics and Singletons