Redef working and no support for recursive functions.