platin: prepare flow facts for aiT by eliminating references to edges and empty blocks
PMLExport: flow fact specifications
PML Export: Loop Bounds from Scalar Evolution