Updated repro for IntermediateCatchEvent problem