Created CFG with end-of-if node. Tested. #69