Added figures for background section on guarded recursion.