Add constraint solver test for nonexact direct dependency