Dynamic Abstract Flow