nitsaf: add flow merge on `if..else` blocks