started working on concolic summaries.