Re M⁰(M¹(R²(S¹, Z³))):
    R²(S¹, Z³)(0, a) = a+1 ≠ 0, but R²(S¹, Z³)(1, any) = 0,
        so M¹(R²(S¹, Z³)) = N¹(1)
    Thus M⁰(M¹(R²(S¹, Z³))) is M(N¹(1)), thus non-terminating.

Re M⁰(M¹(R²(S¹, P³(1)))):
    Very much the same deal:
    R(S, P³(1))(0, a) = a+1 ≠ 0 and R(S, P³(1))(1, any) = 0,
        so M(R(S, P³(1)))(any) = 1
    ie, M(R(S, P³(1))) also is N¹(1), and so this entry doesn't terminate.

Re M⁰(M¹(R²(S¹, P³(2)))):
    R(S, P³(2))(a, b) = b+1 ≠ 0, so M(R(S, P³(2)))(0) doesn't terminate.

Re M⁰(M¹(R²(S¹, P³(3)))):
    R(S, P³(3))(0, 0) = 1 but R(S, P³(3))(1, 0) = 0,
        so M(R(S, P³(3)))(0) = 1
    R(S, P³(3))(0, 1) = 2 and R(S, P³(3))(a, 1) = 1 for all a>0,
        so M(R(S, P³(3)))(1) doesn't terminate.

Re M⁰(C¹(C⁰(S¹, Z⁰))):
    This is M⁰(C¹(N⁰(1))) = M⁰(N¹(1)), which doesn't terminate.

Re M⁰(C¹(M¹(P²(2)), S¹)):
    M(P²(2)) is λb: μa: b, which is 0 when called with 0 and nonterminating
        otherwise.
    M⁰(C¹(f, S)) begins with a call to f(S(0)) = f(1), so starts by calling
        (λb: μa: b)(1), which doesn't terminate.

Re C⁰(M⁰(C¹(P¹(1), S¹))):
    C¹(P¹(1), S¹) ≡ S¹, so this is a disguised M(S) call.

Re M⁰(C¹(P²(1), S¹, Z¹)):
Re M⁰(C¹(P²(1), S¹, S¹)):
Re M⁰(C¹(P²(1), S¹, P¹(1))):
    C¹(P²(1), S¹, any¹) ≡ S¹, so these are disguised M(S) calls.

Re M⁰(C¹(P²(2), Z¹, S¹)):
Re M⁰(C¹(P²(2), S¹, S¹)):
Re M⁰(C¹(P²(2), P¹(1), S¹)):
    C¹(P²(2), any¹, S¹) ≡ S¹, so these are also disguised M(S) calls.