merge-result-sets: no more signature errors in the future
constraint generation for block statements