add argus flow analysis code