commented out some parts of the proofs for sum_inc_ptr in the arrays example that no longer work
commented out some parts of the proofs for sum_inc_ptr in the arrays example that no longer work

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script