Getting rid off complexity tree, obsolete and conflicted
with badly chosen names for types, etc.

Finished implementation of fully constructed additional data
to CFG. Every path is fully marked in data, from start to end.