Fixed a guard violation in workshops/2004/sumners-ray/support/invp.lsp.

Updated system/pseudo-good-worldp.lisp for acl2-devel soundness bug
fix that is about to be checked in.


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2163 303c5b2c-9740-0410-b014-fd8f9db7be32
Added workaround for apparent bug in a :program mode function defined in clause-processors/SULFA/books/sat/local-clause-simp.lisp, which was exposed by the bug fix checked into acl2-devel svn revision 1127.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2164 303c5b2c-9740-0410-b014-fd8f9db7be32