Make first prototype of flow analysis and selection expansion

[LPTK]

The logic of selection expansion still needs to be generalized so that companion modules from other files can also be accessed.