Implemented core of model instrumentation for detecting flow graphs at runtime