Pricing Bermudan options under local Lévy models with default | Arena Library | Arena