A bit of structural setup for generic dataflow analysis