cooment
rec_hcons has strange behavior, but we ignore it so far
merge
merge