Make AST traversal order match code order
Add else statement if not already there
Add if-else test
Add branch data