Solidity contract compiler

Yes, this is about the EVM stack, not the CALL stack. This check here assures that dupInstruction does not fire the assert you have already seen :-)