->lambda button stalls or dies on various expressions

Y = M(L(SI))  // the fixed point
Z = B(B(WI)(CB(C(K(WI)))))(BSC); ZS // causes ZS a b -> ZS b (a b) -> ZS (a b) (b(a b)) etc in Fibonacci sequence

Prob need to limit both steps and mem footprint in run().