* @summary
*
* Live in/end checks whose only precomputation concerns the structure of the CFG.
* Hence, nothing has to be updated if the program is modified unless the CFG is touched.
* See .c file for more comments.
* @summary
*
* Live in/end checks whose only precomputation concerns the structure of the CFG.
* Hence, nothing has to be updated if the program is modified unless the CFG is touched.
* See .c file for more comments.