CFG Implement Dominator

[mayanje]

Description
The purpose of this issue is to add dominator concept to a CFG graph:
https://en.wikipedia.org/wiki/Dominator_(graph_theory)
Dominator algorithms will be used for implementing, quality check analysis.