Remove the case that builds a rewrite rule directly from a term in saw-remote-api
Remove the case that builds a rewrite rule directly from a term
in saw-remote-api

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