mature control flow analysis