Remake of data flow analysis algorithm.
Add feature set description.