Mismatch between push_wmops() and pop_wmops()

When measuring the complexity of the WMC instrumented code, some decoder modes do not execute because of a mismatch between push_wmops() and pop_wmops().