Identifcation of joins and calls in a CFG