Note that "inlining, constant folding and expression simplification" covers everything in functional programming :)
Erlang isn't purely functional, since it has things like message sends. This project doesn't seem to handle such things properly :(
> Something will happen if the supercompiled module contains side-effects such as message passing, and it will probably not be something good.