Spark solver (pointer assignment graph simplification and propagation)