l0_check_flow namespace

Classes

class StatementFlow
Statement traversal and loop-liveness fixed points as one recursive algorithm.