Finish the third inner recursion for application term.
Finish the extended example to show the computation of the constraint
set.