simpl: use new contexts in letrec and alts handler