Rewrite evaluator with proof tree results rather than side-effects
On-the-fly display of Resolute results
Clean up error message
Display mode in assurance case
Code clean up