modifying produced set of pts-to constraints to allow heap LHS's. this was needed to recognize some instr's that could write to path constraints when pt-constraint set is empty
passing all tests, piecewise and regular, though piecewise is quite slow
fixed bug in callgraph pruning. was not excluding the caller from the fw reachable set when branching backwards. also working on some exploration heuristics to improve the efficiency of piecewise execution
added special case to callgraph pruning for piecewise feasability checks, and added inits for all fields back to potential producers