Add control dependencies on function call

[martin-cs]

This is another shard from the VSD branch. Originally by @danpoe it adds control dependency edges to the traditional dependency graph. This will affect the output of goto-analyzer when generating the graph and could affect full-slice but I think it handles calls independently and this shouldn't make it any less safe.

[codecov]

Codecov Report

Merging #5391 into develop will increase coverage by 0.00%.
The diff coverage is 100.00%.

@@           Coverage Diff            @@
##           develop    #5391   +/-   ##
========================================
  Coverage    68.18%   68.19%           
========================================
  Files         1173     1173           
  Lines        97494    97497    +3     
========================================
+ Hits         66478    66484    +6     
+ Misses       31016    31013    -3     

Flag	Coverage Δ
#cproversmt2	42.45% <100.00%> (+<0.01%)	⬆️
#regression	65.36% <100.00%> (+<0.01%)	⬆️
#unit	32.21% <100.00%> (+<0.01%)	⬆️

Impacted Files	Coverage Δ
src/analyses/dependence_graph.cpp	90.65% <100.00%> (+0.26%)	⬆️
src/analyses/dependence_graph.h	84.44% <0.00%> (+6.66%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update df2638c...716b25e. Read the comment docs.