Dynamic symbolic execution for polymorphism
Demand-driven compositional symbolic execution