- make the non-UTVPI testcases work
- goal bit
- immediate promotion of select/store
- new literal explanation?
- refine pending clauses?