result set merging with a list of new bound variables
constraint generation for block statement (result merging not working)