Identifying decision points, determining logical conditions, understanding decision impact on program flow