- Fix bug introduced in obligations which wouldn't consider all evars that are
given to the obligation making function.
- Fix handling of universe context when solve_by_tac is used.