Fixed InterControlFlow problem with adding recursive functions, added recursive function example for sign analysis, extended pointer example slightly