Links for branch-statement-analyzer