Move stats computation to analysis.
Make points-to default.