fixed a constraintsolver bug: p.addVariables cant handle frozensets. now it only gets lists.
fixed a constraintsolver bug: function application domain check