fix constraint solver tests