Fixed evalpush-limit for digital multiplier in 3-bit and 4-bit problems.