}
if(opts.cs_demand()) {
//replace by demand-driven refinement-based context-sensitive analysis
Date startOnDemand = new Date();
PointsToAnalysis onDemandAnalysis = DemandCSPointsTo.makeWithBudget(opts.traversal(), opts.passes(), opts.lazy_pts());
Date endOndemand = new Date();
reportTime( "Initialized on-demand refinement-based context-sensitive analysis", startOnDemand, endOndemand );
Scene.v().setPointsToAnalysis(onDemandAnalysis);
}
}