Fix decl merging in Redex model, reported by @samuelgruetter.