Implementing deepening execution for if, else and ifelse. Still not complete and not able to compile but needs to be saved.