fix constraint-solution checker: need to apply partial solution when opening context reqs