Update repro-case for IntermediateCatchEvent