Make constraint solver prioritize versions from lowest to highest.
Add test that has two direct equality constraints/dependencies