Static Program Analysis In Presence Of Multiple Configurations