All DataFlow analysis work on book examples