apply SLV detection heuristic to more than one CGAA path
To keep the idea of the selected state-like variable (SLV) detection heuristic, the following should be implemented:
1. An auxiliary graph of connections between phase variable values should be stored inside the CGAA model. Every edge in the graph comes from the fact that src value of phase variable can be changed to dst value through the same execution path.
2. SLV detector should use the graph that is specified above to check the variables through several CGAA paths.