Example

Try the following example to get started:

F (x, G (x, z))

=

F (y, G (C, D))