To be honest I think even the most sophisticated use of super-compilation - the partial evaluation described above - is really just a fancy way of saying inlining, constant folding and expression simplification.
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.
If the supercompiler can't handle message passing then it can't handle ~98% of all Erlang code.