Ensure canonicalization on refinement (contexts now use Pred.Val.Map)
Print predicate valuation after the last step of a transition in a published concrete error trace
Drop unwanted config options from test