Newly created PtsSolver for each subproblem
Starts new alias instance on field read in allocation analysis
Array implementation of access path