Allow pointer addition in pre-condition vars; various conveniences.
Allow pointer addition in pre-condition vars; various conveniences.

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