replaced the missing productions from the merge\!