Makes prover default to call FourierM first and then Snark, but will only use one or the other if specified as part of the proof term.
Makes prover default to call FourierM first and then Snark,
but will only use one or the other if specified as part of
the proof term.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@2377 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware