7,8c7
< X = comp(...).
< 
---
> X = comp(func1 => comp(func1 => succ,func2 => succ),func2 => succ).
15c14,18
< X = comp(...).
---
> X = comp(func1 => comp(func1 => comp(func1 => comp(func1 => succ,func2 => succ),
>                                      func2 => succ),
>                        func2 => comp(func1 => comp(func1 => succ,func2 => succ),
>                                      func2 => succ)),
>          func2 => succ).
