More descriptive variable names
simplify failed proofs
Fix Graph transform processors

They now fail instead of returning the input problem
Added an innermost rewriting conversion processor

for rewriting goal problems
Added a missing Eq instance
Improve a debug message
Require the fixed version of the Yices package
Fix the facneg example
Tweak the IPL'14 strategy