change a bit
modify extractor so that it can handle forms such as ((f ...) ...)
more complex example
make converter accept nodes consisting of multiple expressions