Links for symbolic-control-flow