control flow analyzer, first version