Fix resolution tests not working on all terms.