assign operator
result-set merging with new binding
error in constraint genereration for assignment operator: merging of result sets fails