merging of intermediate results in constraint generation with on the fly unification